Login / Signup
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
Published in:
CSEDU (2) (2012)
Keyphrases
</>
interactive learning
interactive video
programming language
computer technology
programming environment
pair programming
user experience
information systems
formal model
object oriented programming
software package
reactive systems
formal specification
computer programming
php and mysql