A software testing tool for the verification of abstract data type implementations from formal algebraic specifications

  1. Del Vado Vírseda, R.
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

DOI: 10.1109/CSEET.2012.16 GOOGLE SCHOLAR