TVT: A software verification package for the interactive learning of formal programming techniques: An educational experience
- Del Vado Vírseda, R.
- Morente, F.P.
- González, E.B.
Aktak:
CSEDU 2012 - Proceedings of the 4th International Conference on Computer Supported Education
ISBN: 9789898565068
Argitalpen urtea: 2012
Alea: 2
Orrialdeak: 77-82
Mota: Biltzar ekarpena