%0 Conference Paper %1 conf/fmco/Abraham-MummBRS02 %A Ábrahám, Erika %A de Boer, Frank S. %A de Roever, Willem P. %A Steffen, Martin %B FMCO %D 2002 %E de Boer, Frank S. %E Bonsangue, Marcello M. %E Graf, Susanne %E de Roever, Willem P. %I Springer %K dblp %P 1-32 %T A Tool-Supported Proof System for Multithreaded Java. %U http://dblp.uni-trier.de/db/conf/fmco/fmco2002.html#Abraham-MummBRS02 %V 2852 %@ 3-540-20303-6

@inproceedings{conf/fmco/Abraham-MummBRS02, added-at = {2017-12-19T00:00:00.000+0100}, author = {Ábrahám, Erika and de Boer, Frank S. and de Roever, Willem P. and Steffen, Martin}, biburl = {https://www.bibsonomy.org/bibtex/2c70e03569616c63be654216736d128e9/dblp}, booktitle = {FMCO}, crossref = {conf/fmco/2002}, editor = {de Boer, Frank S. and Bonsangue, Marcello M. and Graf, Susanne and de Roever, Willem P.}, ee = {https://doi.org/10.1007/978-3-540-39656-7_1}, interhash = {2cd0add3e7bf80f125b7534aa93ea865}, intrahash = {c70e03569616c63be654216736d128e9}, isbn = {3-540-20303-6}, keywords = {dblp}, pages = {1-32}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-06-04T12:47:54.000+0200}, title = {A Tool-Supported Proof System for Multithreaded Java.}, url = {http://dblp.uni-trier.de/db/conf/fmco/fmco2002.html#Abraham-MummBRS02}, volume = 2852, year = 2002 }