FS
fausto spoto
Department of Computer Science, University of Verona
Italy
- Frontiers in Computer Science
- Software
- Research Topics
- Software Specification and Verification: Models and Tools
Software Specification and Verification: Models and Tools
243
Total downloads
5,360
Total views and downloads
Submit your idea
You will be redirected to our submission process.
8 Authors
- LO
luca olivieri
Department of Environmental Sciences, Informatics and Statistics (DAIS), Ca' Foscari University of Venice
Italy
- PG
paola giannini
Dipartimento per lo Sviluppo Sostenibile e la Transizione Ecologica, Università del Piemonte Orientale
Italy
- FT
fabio tagliaferro
Equixly Srl
Italy
- FB
federico bergenti
Dipartimento di Ingegneria dei Sistemi e delle Tecnologie Industriali, Università di Parma
Italy
- LE
lavinia egidi
Dipartimento di Scienze e Innovazione Tecnologica, Università del Piemonte Orientale
Italy
- LG
leonardo galliera
Dipartimento di Scienze e Innovazione Tecnologica, Università del Piemonte Orientale
Italy
- SM
stefania monica
Dipartimento di Scienze e Metodi dell'Ingegneria, Università di Modena e Reggio Emilia
Italy
Manuscripts can be submitted to this Research Topic via the main journal or any other participating journal.
Submit your idea
You will be redirected to our submission process.