2013

Conférence Internationale avec comité de lecture

• [CAC13] P. Courtieu, M. Aponte, T. Crolard, Z. Zhang, Robby, J. Belt, J. Hatcliff, J. Guitton, T. Jennings. "Extended abstract: Towards the Formalization of SPARK 2014 Semantics with Explicit Run-time Checks Using Coq", High Integrity Language Technology - ACM SIGAda’s Annual International Conference, November 2013, pp.2, Series ACM Digital Library, US,