Towards Bounded Infeasible Code Detection

TitleTowards Bounded Infeasible Code Detection
Publication TypeJournal Article
Year of Publication2012
AuthorsJ. Christ, J. Hoenicke, and M. Schäf
JournalCoRR
Volumeabs/1205.6527