Field Constraint Analysis
Thomas Wies, Viktor Kuncak, Patrick Lam, and Andreas Podelski Martin Rinard
2006
In Verification, Model Checking, and Abstract Interpretation (VMCAI 2006)
Publisher Springer
Details
| Type | Inproceedings |
| Pages | 157–173 |
| Volume | 3855 |
| Series | LNCS |
Share
