The Eureka Tool for Software Model Checking

BENERECETTI, MASSIMO (2007) The Eureka Tool for Software Model Checking. In: International Conference on Automatic Software Engineering 2007, 5-9 novembre 2007, Atlanta, USA.

Full text non disponibile da questo archivio.


Tipologia di documento:Contributo in atti di congresso o conferenza (Non specificato)
Settori scientifico-disciplinari MIUR:Non specificato
Stato del full text:Accessibilità ristretta
Data:2007
Altri Autori:ARMANDO A; M. BENERECETTI; CAROTENUTO D; MANTOVANI J; SPICA P
Numero di pagine:0
Intervallo di pagina:pp. 220-229
Volume:LNCS 1944
Dipartimento o Struttura:Dipartimento di Scienze Fisiche
Titolo dell'evento:International Conference on Automatic Software Engineering 2007
Luogo dell'Evento:Atlanta, USA
Data dell'evento:5-9 novembre 2007
Numero di sistema:5695
Depositato il:18 Ottobre 2010 10:15
Ultima modifica:18 Ottobre 2010 10:15

Solo per gli Amministratori dell'archivio: edita il record