%0 Conference Paper %1 conf/birthday/MullerR09 %A Müller, Peter %A Ruskiewicz, Joseph N. %B Rigorous Methods for Software Construction and Analysis %D 2009 %E Abrial, Jean-Raymond %E Glässer, Uwe %I Springer %K dblp %P 187-203 %T A Modular Verification Methodology for C# Delegates. %U http://dblp.uni-trier.de/db/conf/birthday/borger2009.html#MullerR09 %V 5115 %@ 978-3-642-11446-5

@inproceedings{conf/birthday/MullerR09, added-at = {2017-05-23T00:00:00.000+0200}, author = {Müller, Peter and Ruskiewicz, Joseph N.}, biburl = {https://www.bibsonomy.org/bibtex/2939a92fe2b0e9743c49fbe601c4fa131/dblp}, booktitle = {Rigorous Methods for Software Construction and Analysis}, crossref = {conf/birthday/2009borger}, editor = {Abrial, Jean-Raymond and Glässer, Uwe}, ee = {https://doi.org/10.1007/978-3-642-11447-2_12}, interhash = {62633ed83d588a755d1ae8770beeb0e9}, intrahash = {939a92fe2b0e9743c49fbe601c4fa131}, isbn = {978-3-642-11446-5}, keywords = {dblp}, pages = {187-203}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:20:59.000+0200}, title = {A Modular Verification Methodology for C# Delegates.}, url = {http://dblp.uni-trier.de/db/conf/birthday/borger2009.html#MullerR09}, volume = 5115, year = 2009 }