| title | ISBN-13 | year of publication | |
|---|---|---|---|
| Computer Aided Verification: 7th International Conference, CAV '95, Liege, Belgium, July 3 - 5, 1995. Proceedings | 978-3-540-60045-9 | 2008 | |
| Introduction à la calculabilité - 3ème édition | 978-2-10-049981-6 | 2006 | |
| Introduction à la calculabilité: Cours et exercices corrigés | 978-2-10-004853-3 | 2001 | |
| Verification Algorithms for Concurrent and Reactive Systems | 978-0-387-94812-6 |