External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

TVT: A Software Verification Package for the Interactive Learning of Formal Programming Techniques - An Educational Experience

Rafael del Vado Vírseda, Fernando Pérez Morente, Eduardo Berbis González. TVT: A Software Verification Package for the Interactive Learning of Formal Programming Techniques - An Educational Experience. In Markus Helfert, Maria João Martins, José Cordeiro, editors, CSEDU 2012 - Proceedings of the 4th International Conference on Computer Supported Education, Volume 2, Porto, Portugal, 16-18 April, 2012. pages 77-82, SciTePress, 2012.

Authors

Rafael del Vado Vírseda

This author has not been identified. Look up 'Rafael del Vado Vírseda' in Google

Fernando Pérez Morente

This author has not been identified. Look up 'Fernando Pérez Morente' in Google

Eduardo Berbis González

This author has not been identified. Look up 'Eduardo Berbis González' in Google
runs on