@inproceedings{Weiss2009,
  author       = {Benjamin Wei{\ss}},
  title        = {Predicate Abstraction in a Program Logic Calculus},
  editor       = {Michael Leuschel and Heike Wehrheim},
  booktitle    = {Proceedings, 7th International Conference on integrated Formal Methods (iFM 2009)},
  volume       = {5423},
  series       = {LNCS},
  pages        = {136--150},
  publisher    = {Springer},
  year         = {2009}
}