| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings | 978-3-319-77934-8 (3-319-77934-6) | 2018 | Aaron Dutle · César Muñoz · Anthony Narkawicz |
| Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings | 978-3-540-71065-3 (3-540-71065-5) | 2008 | Otmane Ait Mohamed · Sofiene Tahar |
C.M. · C. Munoz · César A. Muñoz · César García Muñoz · Cesar Munoz-Fontela · Pablo Carril César Muñoz