Communication Dans Un Congrès
Année : 2019
Sandrine Blazy : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-02362306
Soumis le : mercredi 13 novembre 2019-18:23:47
Dernière modification le : lundi 24 juillet 2023-11:06:33
Citer
Sandrine Blazy. Teaching Deductive Verification in Why3 to Undergraduate Students. FM Tea (Formal Methods Teaching), Oct 2019, Porto, Portugal. pp.52-66, ⟨10.1007/978-3-030-32441-4_4⟩. ⟨hal-02362306⟩
Collections
69
Consultations
0
Téléchargements