A UML-based static verification framework for security
- Igor Siveroni
- , Andrea Zisman
- , George Spanoudakis
Producción científica: Contribución a una revista › Artículo › revisión exhaustiva
23
Citas
(Scopus)