Léo Creuse, Claire Dross, Christophe Garion, Jérôme Hugues, Joffrey Huguet. Teaching Deductive Verification Through Frama-C and SPARK for Non Computer Scientists. In Brijesh Dongol, Luigia Petre, Graeme Smith, editors, Formal Methods Teaching - Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings. Volume 11758 of Lecture Notes in Computer Science, pages 23-36, Springer, 2019. [doi]
@inproceedings{CreuseDGHH99,
title = {Teaching Deductive Verification Through Frama-C and SPARK for Non Computer Scientists},
author = {Léo Creuse and Claire Dross and Christophe Garion and Jérôme Hugues and Joffrey Huguet},
year = {2019},
doi = {10.1007/978-3-030-32441-4_2},
url = {https://doi.org/10.1007/978-3-030-32441-4_2},
researchr = {https://researchr.org/publication/CreuseDGHH99},
cites = {0},
citedby = {0},
pages = {23-36},
booktitle = {Formal Methods Teaching - Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings},
editor = {Brijesh Dongol and Luigia Petre and Graeme Smith},
volume = {11758},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-32441-4},
}