Dominic Steinhöfel
Dominic Steinhöfel
Home
Posts
Projects
Publications
Talks
Events
Contact
CV
Dominic Scheurer
Latest
A General Lattice Model for Merging Symbolic Execution Branches
From Trees to DAGs: A General Lattice Model for Symbolic Execution
Enforcing Datalog Policies with Service Automata on Distributed Version Control Systems
Cite
×