Bart Jacobs, Erik Poll. Java Program Verification at Nijmegen: Developments and Perspective. In Kokichi Futatsugi, Fumio Mizoguchi, Naoki Yonezaki, editors, Software Security - Theories and Systems, Second Mext-NSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003, Revised Papers. Volume 3233 of Lecture Notes in Computer Science, pages 134-153, Springer, 2003. [doi]
@inproceedings{JacobsP03, title = {Java Program Verification at Nijmegen: Developments and Perspective}, author = {Bart Jacobs and Erik Poll}, year = {2003}, url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3233&spage=134}, tags = {Java, program verification}, researchr = {https://researchr.org/publication/JacobsP03}, cites = {0}, citedby = {0}, pages = {134-153}, booktitle = {Software Security - Theories and Systems, Second Mext-NSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003, Revised Papers}, editor = {Kokichi Futatsugi and Fumio Mizoguchi and Naoki Yonezaki}, volume = {3233}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-23635-X}, }