@InProceedings{Wies:VMCAI06-157,
  author =       "Thomas Wies and Viktor Kuncak and Patrick Lam and
                 Andreas Podelski and Martin C. Rinard",
  title =        "Field Constraint Analysis",
  year =         "2006",
  pages =        "157--173",
  ee =           "http://dx.doi.org/10.1007/11609773_11",
  editor =       "E. Allen Emerson and Kedar S. Namjoshi",
  booktitle =    "Verification, Model Checking, and Abstract
                 Interpretation, 7th International Conference, {VMCAI}
                 2006, Charleston, {SC}, {USA}, January 8--10, 2006,
                 Proceedings",
  publisher =    "Springer",
  series =       "Lecture Notes in Computer Science",
  volume =       "3855",
  ISBN =         "3-540-31139-4",
}