@inproceedings{MuellerRuskiewicz09,
  author    = {Peter M{\"{u}}ller and Joseph N. Ruskiewicz},
  title     = {A Modular Verification Methodology for C{\#} Delegates},
  booktitle = {Rigorous Methods for Software Construction and Analysis, Essays Dedicated to Egon B{\"{o}}rger on the Occasion of His 60th Birthday},
  pages     = {187--203},
  year      = {2009},
  editor    = {Jean{-}Raymond Abrial and Uwe Gl{\"{a}}sser},
  series    = {LNCS},
  volume    = {5115},
  publisher = {Springer-Verlag},
  url =       {https://doi.org/10.1007/978-3-642-11447-2_12},
  urltext =   {[Publisher]}
}