Teaching Deductive Verification Through Frama-C and SPARK for Non Computer Scientists - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Léo Creuse' in GoogleThis author has not been identified. Look up 'Claire Dross' in GoogleThis author has not been identified. Look up 'Christophe Garion' in GoogleThis author has not been identified. Look up 'Jérôme Hugues' in GoogleThis author has not been identified. Look up 'Joffrey Huguet' in Google

runs on WebDSL