Gérard Berry
2 published titles
Computer aided verification : 13th international conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings
(Contributor)
1 edition
- ISBN: 3540423451
- Springer
- 2001
- Details
Compiling ESTEREL
(Contributor)
1 edition
- ISBN: 9780387706269
- Springer
- 2007
- Details
