OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

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

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items at this level: 2.

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).

This list was generated on Sat Dec 7 09:47:07 2019 CET.