@InProceedings{MuellerRuskiewicz07, author = {P. M{\"u}ller and J. N. Ruskiewicz}, title = {A modular verification methodology for {C}\# delegates}, booktitle = {Rigorous Methods for Software Construction and Analysis}, editor = {J.-R. Abrial and U. Gl{\"a}sser}, series = {Lecture Notes in Computer Science}, publisher = {Springer-Verlag}, volume = {5115}, pages = {187-203}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-11447-2_12}, urltext = {[Publisher]} }