Verifying LTL Properties of Bytecode with Symbolic Execution
Additional information
Authors
Editors
Braione P.,
Denaro G.,
Krena B.,
Pezzè M.
Type
Conference proceedings
Year
2008
Language
English
Publisher
Elsevier
