top

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

Espandi
Riduci






Seleziona tutte
Deseleziona


Automated reasoning with analytic tableaux and related methods
Espandi opera
...
Formal methods for components and objects
Espandi opera
...
Verification of object-oriented software
Espandi opera
...