Loading...
Thumbnail Image
doctoral thesis

Modular Data Structure Verification

Kuncak, Viktor 
2007
Type
doctoral thesis
Authors
Kuncak, Viktor 
Jury

EECS Department, Massachusetts Institute of Technology

Publication date

2007

URL

URL

http://lara.epfl.ch/~kuncak/papers/Kuncak07DecisionProceduresModularDataStructureVerification.pdf
EPFL units
LARA 
Available on Infoscience
August 21, 2007
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/10402