Azadeh Farzan, Feng Chen, José Meseguer, Grigore Rosu. Formal Analysis of Java Programs in JavaFAN. In Rajeev Alur, Doron Peled, editors, Computer Aided Verification, 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings. Volume 3114 of Lecture Notes in Computer Science, pages 501-505, Springer, 2004. [doi]
@inproceedings{FarzanCMR04,
title = {Formal Analysis of Java Programs in JavaFAN},
author = {Azadeh Farzan and Feng Chen and José Meseguer and Grigore Rosu},
year = {2004},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3114&spage=501},
tags = {Java, program analysis, analysis},
researchr = {https://researchr.org/publication/FarzanCMR04},
cites = {0},
citedby = {0},
pages = {501-505},
booktitle = {Computer Aided Verification, 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
editor = {Rajeev Alur and Doron Peled},
volume = {3114},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-22342-8},
}