Ricerca di contatti, progetti,
corsi e pubblicazioni

Verifying LTL Properties of Bytecode with Symbolic Execution

Informazioni aggiuntive

Curatori
Braione P., Denaro G., Krena B., Pezzè M.
Tipo
Atti di conferenza
Anno
2008
Lingua
Inglese
Editore
Elsevier