top

English
Persona    Opera   
Persona/Opera
Vai a Pubblicazioni
Persona/Ente/Famiglia
   

Espandi
Riduci






Seleziona tutte
Deseleziona


2013 International Symposium on Theoretical Aspects of Software Engineering
Espandi opera
...
Formal methods for industrial critical systems
Espandi opera
...
IEEE Sixth International Symposium on Theoretical Aspects of Software Engineering
Espandi opera
...

Leveraging applications of formal methods
Espandi opera
...
Leveraging applications of formal methods, verification, and validation
Espandi opera
...
Leveraging applications of formal methods, verification, and validation
Espandi opera
...

Services and visualization
Espandi opera
...