OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Person is "Creuse, Léo"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Article
Number of items: 1.


Creuse, Léo and Huguet, Joffrey and Garion, Christophe and Hugues, Jérôme. SPARK by Example: an introduction to formal verification through the standard C++ library. (2018) Ada Letters, 38 (2). 89-96. ISSN 1094-3641

This list was generated on Sat Aug 15 07:03:12 2020 CEST.