C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Verifying properties of well-founded linked lists.
Shuvendu K. Lahiri
Shaz Qadeer
Published in:
POPL (2006)
Keyphrases
</>
desirable properties
structural properties
real time
medical images
model checking