Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
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