Conference Papers
Year : 2019
Sandrine Blazy : Connect in order to contact the contributor
https://hal.inria.fr/hal-02362306
Submitted on : Wednesday, November 13, 2019-6:23:47 PM
Last modification on : Thursday, January 26, 2023-4:02:33 AM
Cite
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
59
View
0
Download