Formal methods for UML
- Beato, M.E.
- Barrio-Solórzano, M.
- Cuesta, C.E.
- De La Fuente, P.
Llibre:
Modern Formal Methods and Applications
ISBN: 9781402042225
Any de publicació: 2006
Pàgines: 177-196
Tipus: Capítol de llibre