Field Constraint Analysis

Thomas Wies, Viktor Kuncak, Patrick Lam, and Andreas Podelski Martin Rinard

Details

Publication typeInproceedings
Published inVerification, Model Checking, and Abstract Interpretation (VMCAI 2006)
Pages157–173
Volume3855
SeriesLNCS
PublisherSpringer
> Publications > Field Constraint Analysis