Hubert Comon
2 published titles
Constraints in computational logics : theory and applications : International Summer School, CCL'99 Gif-sur-Yvette, France September 5-8, 1999 : revised lectures
(Contributor)
1 edition
- ISBN: 3540419500
- Springer
- 2001
- Details
Computer aided verification : 13th international conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings
(Contributor)
1 edition
- ISBN: 3540423451
- Springer
- 2001
- Details
