| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| 3 |      | Hélène Collavizza, Nguyen Le Vinh, Michel Rueher, Samuel Devulder, Thierry Gueguen: A dynamic constraint-based BMC strategy for generating counterexamples. SAC 2011: 1633-1638 |
| 1999 | ||
| 2 | | Samuel Devulder, Jean-Luc Lambert: A Comparative Study between Linear Programming Validation (LPV) and other Verification Methods. ASE 1999: 299-302 |
| 1 | | S. Dellacherie, Samuel Devulder, Jean-Luc Lambert: Software Verification Based on Linear Programming. World Congress on Formal Methods 1999: 1147-1165 |
| 1 | Hélène Collavizza | [3] |
| 2 | S. Dellacherie | [1] |
| 3 | Thierry Gueguen | [3] |
| 4 | Jean-Luc Lambert | [1] [2] |
| 5 | Michel Rueher | [3] |
| 6 | Nguyen Le Vinh | [3] |
Colors in the list of coauthors
Last update Tue May 29 20:41:18 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page