- CSB - MetaPress - Google - Bing - Yahoo
 | 1999 | |
|---|---|---|
| 1 |      | S. Dellacherie, Samuel Devulder, Jean-Luc Lambert: Software Verification Based on Linear Programming. World Congress on Formal Methods 1999: 1147-1165 |
| 1 | Samuel Devulder | [1] |
| 2 | Jean-Luc Lambert | [1] |