- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c4 |      | José F. Ruiz, Cyrille Comar, Yannick Moy: Source Code as the Key Artifact in Requirement-Based Development: The Case of Ada 2012. Ada-Europe 2012: 49-59 |
| c3 | | Maria-Virginia Aponte, Pierre Courtieu, Yannick Moy, Marc Sango: Maximal and Compositional Pattern-Based Loop Invariants. FM 2012: 37-51 |
| 2011 | ||
| j2 | | Johannes Kanig, Jérôme Guitton, Yannick Moy: Hi-Lite - Verification by Contract. Softwaretechnik-Trends 31(3) (2011) |
| c2 | | Claire Dross, Jean-Christophe Filliâtre, Yannick Moy: Correct Code Containing Containers. TAP 2011: 102-118 |
| 2010 | ||
| j1 | | Yannick Moy, Claude Marché: Modular inference of subprogram contracts for safety checking. J. Symb. Comput. 45(11): 1184-1211 (2010) |
| 2008 | ||
| c1 | | |
| 1 | Maria-Virginia Aponte | |
| 2 | Cyrille Comar | |
| 3 | Pierre Courtieu | |
| 4 | Claire Dross | |
| 5 | Jean-Christophe Filliâtre | |
| 6 | Jérôme Guitton | |
| 7 | Johannes Kanig | |
| 8 | Claude Marché | |
| 9 | José F. Ruiz | |
| 10 | Marc Sango |
Colors in the list of coauthors
Last update Sat May 18 16:33:15 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page