Formal methods for UML

  1. Beato, M.E.
  2. Barrio-Solórzano, M.
  3. Cuesta, C.E.
  4. De La Fuente, P.
Libro:
Modern Formal Methods and Applications

ISBN: 9781402042225

Año de publicación: 2006

Páginas: 177-196

Tipo: Capítulo de Libro

DOI: 10.1007/1-4020-4223-X_8 GOOGLE SCHOLAR