Léo Creuse

According to our database, Léo Creuse authored at least 1 paper in 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2019

Teaching Deductive Verification Through Frama-C and SPARK for Non Computer Scientists.

Léo Creuse, Claire Dross, Christophe Garion, Jérôme Hugues, Joffrey Huguet

Proceedings of the Formal Methods Teaching - Third International Workshop and Tutorial, 2019