Dominic Steinhöfel
Dominic Steinhöfel
Home
Posts
Projects
Publications
Talks
Events
Contact
CV
A General Lattice Model for Merging Symbolic Execution Branches
Dominic Scheurer
,
Reiner Hähnle
,
Richard Bubel
January 2016
PDF
Cite
DOI
Type
Conference paper
Publication
Proc. 18th Intern. Conf. on Formal Engineering Methods (ICFEM)
Cite
×