Field Constraint Analysis

In  Verification, Model Checking, and Abstract Interpretation (VMCAI 2006)

Publisher  Springer

Details

TypeInproceedings
Pages157–173
Volume3855
SeriesLNCS
> Publications > Field Constraint Analysis