Items where Institution is :Other partners > AdaCore (FRANCE)

Creuse, Léo and Dross, Claire and Garion, Christophe and Hugues, Jérôme and Huguet, Joffrey Teaching Deductive Verification Through Frama-C and SPARK for Non Computer Scientists. (2019) In: 3rd World Congress on Formal Methods, 7 November 2019 - 11 November 2019 (Porto, Portugal).

Bordin, Matteo and Comar, Cyrille and Falis, Ed and Gasperoni, Franco and Moy, Yannick and Richa, Elie and Hugues, Jérôme System to Software Integrity: A Case Study. (2014) In: Embedded Real-Time Software and Systems 2014, 5 February 2014 - 7 February 2014 (France).