A software testing tool for the verification of abstract data type implementations from formal algebraic specifications
Aktak:
Proceedings - 2012 25th IEEE Conference on Software Engineering Education and Training, CSEE and T 2012
ISBN: 9780769546933
Argitalpen urtea: 2012
Orrialdeak: 100-104
Mota: Biltzar ekarpena