conference paper

Field Constraint Analysis

Wies, Thomas
•
Kuncak, Viktor  orcid-logo
•
Lam, Patrick
Show more
2006
Proc. Int. Conf. Verification, Model Checking, and Abstract Interpratation
Type
conference paper
Author(s)
Wies, Thomas
Kuncak, Viktor  orcid-logo
Lam, Patrick
Podelski, Andreas
Rinard, Martin
Date Issued

2006

Published in
Proc. Int. Conf. Verification, Model Checking, and Abstract Interpratation
Note

See http://infoscience.epfl.ch/search.py?recid=110237&ln=en for full version.

Written at

OTHER

EPFL units
LARA  
Available on Infoscience
August 21, 2007
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/10399