Search for contacts, projects,
courses and publications

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