@Inproceedings{BagnaraHPZ07EA,
  Author = "R. Bagnara and P. M. Hill and A. Pescetti and E. Zaffanella",
  Title = "Verification of {C} Programs Via Natural Semantics
           and Abstract Interpretation",
  Booktitle = "Proceedings of the C/C++ Verification Workshop",
  Editor = "H. Tews",
  Pages = "75--80",
  Address = "Oxford, UK",
  Note = "Extended abstract.
          Published as Technical Report ICIS--R07015,
          Institute for Computing and Information Sciences (iCIS),
          Radboud University Nijmegen, Nijmegen, The Netherlands",
  Year = 2007,
}