Verifying LTL Properties of Bytecode with Symbolic Execution
Informazioni aggiuntive
Autori
Curatori
Braione P.,
Denaro G.,
Krena B.,
Pezzè M.
Tipo
Atti di conferenza
Anno
2008
Lingua
Inglese
Editore
Elsevier