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.
Actas:
CSEDU 2012 - Proceedings of the 4th International Conference on Computer Supported Education

ISBN: 9789898565068

Año de publicación: 2012

Volumen: 2

Páginas: 77-82

Tipo: Aportación congreso

GOOGLE SCHOLAR
Fuente de los datos: Scopus