Samuel Devulder

List of publications from the DBLP Bibliography Server - FAQ

1999

2 EE Samuel Devulder, Jean-Luc Lambert: A Comparative Study between Linear Programming Validation (LPV) and other Verification Methods. ASE 1999: 299-302

1 EE S. Dellacherie, Samuel Devulder, Jean-Luc Lambert: Software Verification Based on Linear Programming. World Congress on Formal Methods 1999: 1147-1165

1999
2	EE	Samuel Devulder, Jean-Luc Lambert: A Comparative Study between Linear Programming Validation (LPV) and other Verification Methods. ASE 1999: 299-302
1	EE	S. Dellacherie, Samuel Devulder, Jean-Luc Lambert: Software Verification Based on Linear Programming. World Congress on Formal Methods 1999: 1147-1165

Coauthor Index