| Titel | ISBN-13 (ISBN-10) | Erscheinungsjahr |
|---|---|---|
| Especificación de Sistemas Software en Entornos Multi-Perspectiva: Una visión general de la metodología formal MultiSpec | 978-3-8383-1432-7 (3-8383-1432-8) | 2009 |
A. B. · A.M. · A. Martinez · Ana Belen · Ana Martinez · B. B. · B. M.