Skip to Main Content (Press Enter)
×
Home
Corsi
Insegnamenti
Professioni
Persone
Pubblicazioni
Strutture
Terza Missione
Competenze
IT
EN
☰
|
UNIFIND
uniss.it
IT
EN
×
Home
Corsi
Insegnamenti
Professioni
Persone
Pubblicazioni
Strutture
Terza Missione
Competenze
☰
Pubblicazioni
MINDS AND MACHINES
Rivista
Codice:
E110720
ISSN:
0924-6495
Dati Generali
Dati Generali
Pubblicazioni (2)
Abstraction and Idealization in the Formal Verification of Software Systems
Articolo
Scientific Theories of Computational Systems in Model Checking
Articolo
No Results Found