Toggle navigation
Home
People
Departments
Research
About
Login
Search
A General Lattice Model for Merging Symbolic Execution Branches.
Conferences
Overview
Identity
Additional Document Info
View All
Overview
authors
Lawford, Mark
Scheurer, Dominic
Hähnle, Reiner
Bubel, Richard
publication date
2016
published in
ICFEM
Journal
Identity
International Standard Book Number (ISBN) 13
978-3-319-47845-6
Additional Document Info
start page
57
end page
73
volume
10009