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

Rafael del Vado Vrseda, Fernando Prez Morente, Eduardo Berbis Gonzlez

Browse the full CSEDU paper archive.