An educational tool based on semantic tableaux for verification and debugging of algorithms: Experiences and results
- Del Vado Vírseda, R.
- Morente, F.P.
- Martínez, S.E.
Aktak:
CSEDU 2011 - Proceedings of the 3rd International Conference on Computer Supported Education
ISBN: 9789898425508
Argitalpen urtea: 2011
Alea: 2
Orrialdeak: 67-72
Mota: Biltzar ekarpena