Property specification and Static Verification of UML models
- Igor Siveroni
- , Andrea Zisman
- , George Spanoudakis
Producción científica: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva
24
Citas
(Scopus)