Formal methods for UML
- Beato, M.E.
- Barrio-Solórzano, M.
- Cuesta, C.E.
- De La Fuente, P.
Buch:
Modern Formal Methods and Applications
ISBN: 9781402042225
Datum der Publikation: 2006
Seiten: 177-196
Art: Buch-Kapitel