top

English
Persona    Opera   
Persona/Opera
Vai a Pubblicazioni
Opera/Pubblicazioni
   

Espandi
Riduci



Leveraging Applications of Formal Methods, Verification and Validation 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Proceedings Università degli Studi di Salerno Università degli Studi di Napoli Federico II
Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II Università degli Studi di Salerno
Leveraging Applications of Formal Methods, Verification and Validation 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II Università degli Studi di Salerno
Leveraging Applications of Formal Methods, Verification, and Validation 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers Università degli Studi di Napoli Federico II
Leveraging applications of formal methods, verification and validation Part I verification principles : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, proceedings Università degli Studi di Salerno Università degli Studi di Napoli Federico II
Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I Università degli Studi di Salerno
Leveraging Applications of Formal Methods, Verification and Validation 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I Università degli Studi di Salerno