An innovative teaching tool based on semantic tableaux for verification and debugging of imperative programs
- Del Vado Vírseda, R.
- Morente, F.P.
Actes:
Procedia Computer Science
ISSN: 1877-0509
Any de publicació: 2011
Volum: 4
Pàgines: 1907-1916
Tipus: Aportació congrés