top

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

Espandi
Riduci







Seleziona tutte
Deseleziona


Concise Guide to Software Verification
Espandi opera
...
Formal Techniques for Distributed Objects, Components, and Systems
Espandi opera
...
Proceedings of the 8th International Workshop on Specification and Verification of Component-Based Systems
Espandi opera
...