An innovative teaching tool based on semantic tableaux for verification and debugging of imperative programs
- Del Vado Vírseda, R.
- Morente, F.P.
ISSN: 1877-0509
Datum der Publikation: 2011
Ausgabe: 4
Seiten: 1907-1916
Art: Konferenz-Beitrag
ISSN: 1877-0509
Datum der Publikation: 2011
Ausgabe: 4
Seiten: 1907-1916
Art: Konferenz-Beitrag