Formal methods for UML
- Beato, M.E.
- Barrio-Solórzano, M.
- Cuesta, C.E.
- De La Fuente, P.
Liburua:
Modern Formal Methods and Applications
ISBN: 9781402042225
Argitalpen urtea: 2006
Orrialdeak: 177-196
Mota: Liburuko kapitulua