Formal methods for UML
- Beato, M.E.
- Barrio-Solórzano, M.
- Cuesta, C.E.
- De La Fuente, P.
Libro:
Modern Formal Methods and Applications
ISBN: 9781402042225
Ano de publicación: 2006
Páxinas: 177-196
Tipo: Capítulo de libro