A proposal of an example and experiments repository to foster industrial adoption of formal methods
Capitolo di libro
Data di Pubblicazione:
2018
Citazione:
A proposal of an example and experiments repository to foster industrial adoption of formal methods / Schlick, R; Felderer, M.; Majzik, I; Nardone, R; Raschke, A; Snook, C; Vittorini, V. - (2018). [10.1007/978-3-030-03427-6_20]
Tipologia CRIS:
2.1 Contributo in volume (Capitolo o Saggio)
Elenco autori:
Schlick, R; Felderer, M.; Majzik, I; Nardone, R; Raschke, A; Snook, C; Vittorini, V
Link alla scheda completa:
Titolo del libro:
8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018