An innovative teaching tool based on semantic tableaux for verification and debugging of programs
- Del Vado Vírseda, R.
- Pérez Morente, F.
Aktak:
ITiCSE'11 - Proceedings of the 16th Annual Conference on Innovation and Technology in Computer Science
ISBN: 9781450308878
Argitalpen urtea: 2011
Orrialdeak: 352
Mota: Biltzar ekarpena