Teaching Deductive Verification in Why3 to Undergraduate Students - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2019

Teaching Deductive Verification in Why3 to Undergraduate Students

Domaines

Langage de programmation [cs.PL]

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 : mercredi 6 novembre 2024-11:12:05

Fichier non déposé

Dates et versions

hal-02362306 , version 1 (13-11-2019)

Identifiants

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-RENNES1 CNRS INRIA INSA-RENNES IRISA CENTRALESUPELEC INRIA2 UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES INSA-GROUPE UR1-MATH-NUM
77 Consultations
0 Téléchargements

Altmetric

Partager

More