- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c3 |      | Johannes Kanig: Leading-edge ada verification technologies: combining testing and verification with GNATTest and GNATProve - the hi-lite project. HILT 2012: 5-6 |
| c2 | | Johannes Kanig, Edmond Schonberg, Claire Dross: Hi-Lite: the convergence of compiler technology and program verification. HILT 2012: 27-34 |
| 2011 | ||
| j3 | | Johannes Kanig, Jérôme Guitton, Yannick Moy: Hi-Lite - Verification by Contract. Softwaretechnik-Trends 31(3) (2011) |
| 2009 | ||
| j2 | | Romain Bardou, Jean-Christophe Filliâtre, Johannes Kanig, Stéphane Lescuyer: Faire bonne figure avec MLPOST. Stud. Inform. Univ. 7(2): 225-252 (2009) |
| c1 |  | Romain Bardou, Jean-Christophe Filliâtre, Johannes Kanig, Stéphane Lescuyer: Faire bonne figure avec Mlpost. JFLA 2009: 477-507 |
| 2008 | ||
| j1 | | Sylvain Conchon, Evelyne Contejean, Johannes Kanig, Stéphane Lescuyer: CC(X): Semantic Combination of Congruence Closure with Solvable Theories. Electr. Notes Theor. Comput. Sci. 198(2): 51-69 (2008) |
| 1 | Romain Bardou | |
| 2 | Sylvain Conchon | |
| 3 | Evelyne Contejean | |
| 4 | Claire Dross | |
| 5 | Jean-Christophe Filliâtre | |
| 6 | Jérôme Guitton | |
| 7 | Stéphane Lescuyer | |
| 8 | Yannick Moy | |
| 9 | Edmond Schonberg |
Data released under the ODC-BY 1.0 license — See also our legal information page