Programming and Proving: Practice with FoCaLiZe
Résumé
This lecture provides the young PhD students with the basics of deductive proofs of program properties using the FoCaLiZe environment.
Loading...
François Pessaux : Connectez-vous pour contacter le contributeur
https://hal.science/cel-01203517
Soumis le : mercredi 23 septembre 2015-11:48:14
Dernière modification le : mercredi 11 mai 2022-15:20:02
Archivage à long terme le : mardi 29 décembre 2015-09:33:47