Formal methods for UML

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

ISBN: 9781402042225

Year of publication: 2006

Pages: 177-196

Type: Book chapter

DOI: 10.1007/1-4020-4223-X_8 GOOGLE SCHOLAR
Data source: Scopus