Skip to Main content Skip to Navigation
Conference papers

Teaching Deductive Verification in Why3 to Undergraduate Students

Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/hal-02362306
Contributor : Sandrine Blazy <>
Submitted on : Wednesday, November 13, 2019 - 6:23:47 PM
Last modification on : Wednesday, August 5, 2020 - 3:48:25 AM

Identifiers

Citation

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⟩

Share

Metrics

Record views

61