An innovative teaching tool for the verification of abstract data type implementations from formal algebraic specifications
- Del Vado Vírseda, R.
- Morente, F.P.
Aktak:
Procedia Computer Science
ISSN: 1877-0509
Argitalpen urtea: 2012
Alea: 9
Orrialdeak: 1743-1752
Mota: Biltzar ekarpena