%0 Conference Paper %1 conf/ecoop/BiermanRMMT12 %A Bierman, Gavin M. %A Russo, Claudio V. %A Mainland, Geoffrey %A Meijer, Erik %A Torgersen, Mads %B ECOOP %D 2012 %E Noble, James %I Springer %K dblp %P 233-257 %T Pause 'n' Play: Formalizing Asynchronous C#. %U http://dblp.uni-trier.de/db/conf/ecoop/ecoop2012.html#BiermanRMMT12 %V 7313 %@ 978-3-642-31056-0

@inproceedings{conf/ecoop/BiermanRMMT12, added-at = {2018-02-14T00:00:00.000+0100}, author = {Bierman, Gavin M. and Russo, Claudio V. and Mainland, Geoffrey and Meijer, Erik and Torgersen, Mads}, biburl = {https://www.bibsonomy.org/bibtex/2a5ee8f64c0c5bede529b50675630967d/dblp}, booktitle = {ECOOP}, crossref = {conf/ecoop/2012}, editor = {Noble, James}, ee = {https://doi.org/10.1007/978-3-642-31057-7_12}, interhash = {c2cc459a51f56613a1fa2f8fa1d76da5}, intrahash = {a5ee8f64c0c5bede529b50675630967d}, isbn = {978-3-642-31056-0}, keywords = {dblp}, pages = {233-257}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:02:12.000+0200}, title = {Pause 'n' Play: Formalizing Asynchronous C#.}, url = {http://dblp.uni-trier.de/db/conf/ecoop/ecoop2012.html#BiermanRMMT12}, volume = 7313, year = 2012 }