%0 Journal Article %1 journals/fuin/AbrahamBRS08 %A Ábrahám, Erika %A de Boer, Frank S. %A de Roever, Willem P. %A Steffen, Martin %D 2008 %J Fundam. Informaticae %K dblp %N 4 %P 391-463 %T A Deductive Proof System for Multithreaded Java with Exceptions. %U http://dblp.uni-trier.de/db/journals/fuin/fuin82.html#AbrahamBRS08 %V 82

@article{journals/fuin/AbrahamBRS08, added-at = {2020-09-18T00:00:00.000+0200}, author = {Ábrahám, Erika and de Boer, Frank S. and de Roever, Willem P. and Steffen, Martin}, biburl = {https://www.bibsonomy.org/bibtex/24be4625a47142d1216dc54e692808351/dblp}, ee = {http://content.iospress.com/articles/fundamenta-informaticae/fi82-4-05}, interhash = {2e9e28bc0af6f7c124aece8181df3518}, intrahash = {4be4625a47142d1216dc54e692808351}, journal = {Fundam. Informaticae}, keywords = {dblp}, number = 4, pages = {391-463}, timestamp = {2020-09-19T11:36:33.000+0200}, title = {A Deductive Proof System for Multithreaded Java with Exceptions.}, url = {http://dblp.uni-trier.de/db/journals/fuin/fuin82.html#AbrahamBRS08}, volume = 82, year = 2008 }