TVT: A software verification package for the interactive learning of formal programming techniques: An educational experience

  1. Del Vado Vírseda, R.
  2. Morente, F.P.
  3. González, E.B.
Actes:
CSEDU 2012 - Proceedings of the 4th International Conference on Computer Supported Education

ISBN: 9789898565068

Any de publicació: 2012

Volum: 2

Pàgines: 77-82

Tipus: Aportació congrés