Erika Ábrahám-Mumm, Frank S. de Boer, Willem P. de Roever, Martin Steffen. A Tool-Supported Proof System for Multithreaded Java. In Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever, editors, Formal Methods for Components and Objects, First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures. Volume 2852 of Lecture Notes in Computer Science, pages 1-32, Springer, 2002. [doi]
@inproceedings{Abraham-MummBRS02,
title = {A Tool-Supported Proof System for Multithreaded Java},
author = {Erika Ábrahám-Mumm and Frank S. de Boer and Willem P. de Roever and Martin Steffen},
year = {2002},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2852&spage=1},
tags = {Java},
researchr = {https://researchr.org/publication/Abraham-MummBRS02},
cites = {0},
citedby = {0},
pages = {1-32},
booktitle = {Formal Methods for Components and Objects, First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures},
editor = {Frank S. de Boer and Marcello M. Bonsangue and Susanne Graf and Willem P. de Roever},
volume = {2852},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-20303-6},
}