Details
Title
Modular Data Structure Verification
Author(s)
Kuncak, Viktor
Date
2007
Additional link
URL
Laboratories
LARA
Record Appears in
Scientific production and competences > I&C - School of Computer and Communication Sciences > IINFCOM > LARA - Laboratory for Automated Reasoning and Analysis
Work outside EPFL
Theses
Work outside EPFL
Theses
Record creation date
2007-08-21