An educational tool based on semantic tableaux for verification and debugging of algorithms: Experiences and results

  1. Del Vado Vírseda, R.
  2. Morente, F.P.
  3. 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