%0 Conference Paper %1 conf/tfm/CreuseDGHH99 %A Creuse, Léo %A Dross, Claire %A Garion, Christophe %A Hugues, Jérôme %A Huguet, Joffrey %B FMTea %D 2019 %E Dongol, Brijesh %E Petre, Luigia %E Smith, Graeme %I Springer %K dblp %P 23-36 %T Teaching Deductive Verification Through Frama-C and SPARK for Non Computer Scientists. %U http://dblp.uni-trier.de/db/conf/tfm/fmtea2019.html#CreuseDGHH99 %V 11758 %@ 978-3-030-32441-4

@inproceedings{conf/tfm/CreuseDGHH99, added-at = {2019-10-12T00:00:00.000+0200}, author = {Creuse, Léo and Dross, Claire and Garion, Christophe and Hugues, Jérôme and Huguet, Joffrey}, biburl = {https://www.bibsonomy.org/bibtex/230f0a74ece76adbeecf2c8e36b8e3496/dblp}, booktitle = {FMTea}, crossref = {conf/tfm/2019}, editor = {Dongol, Brijesh and Petre, Luigia and Smith, Graeme}, ee = {https://doi.org/10.1007/978-3-030-32441-4_2}, interhash = {49583c209ea9e7d76bbad29fe1107a5b}, intrahash = {30f0a74ece76adbeecf2c8e36b8e3496}, isbn = {978-3-030-32441-4}, keywords = {dblp}, pages = {23-36}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T17:59:51.000+0200}, title = {Teaching Deductive Verification Through Frama-C and SPARK for Non Computer Scientists.}, url = {http://dblp.uni-trier.de/db/conf/tfm/fmtea2019.html#CreuseDGHH99}, volume = 11758, year = 2019 }