Field Constraint Analysis
2006
Files
Details
Title
Field Constraint Analysis
Author(s)
Wies, Thomas ; Kuncak, Viktor ; Lam, Patrick ; Podelski, Andreas ; Rinard, Martin
Published in
Proc. Int. Conf. Verification, Model Checking, and Abstract Interpratation
Date
2006
Note
See https://infoscience.epfl.ch/search.py?recid=110237&ln=en for full version.
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
Conference Papers
Published
Work outside EPFL
Conference Papers
Published
Record creation date
2007-08-21