C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Modular Verification of Procedure Equivalence in the Presence of Memory Allocation.
Tim Wood
Sophia Drossopoulou
Shuvendu K. Lahiri
Susan Eisenbach
Published in:
ESOP (2017)
Keyphrases
</>
model checking
formal analysis
search engine
database systems
databases
image processing
multi agent
formal methods