Néstor Cataño, Marieke Huisman. CHASE: A Static Checker for JML s Assignable Clause. In Lenore D. Zuck, Paul C. Attie, Agostino Cortesi, Supratik Mukhopadhyay, editors, Verification, Model Checking, and Abstract Interpretation, 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2002, Proceedings. Volume 2575 of Lecture Notes in Computer Science, pages 26-40, Springer, 2003. [doi]
@inproceedings{CatanoH03,
title = {CHASE: A Static Checker for JML s Assignable Clause},
author = {Néstor Cataño and Marieke Huisman},
year = {2003},
url = {http://link.springer.de/link/service/series/0558/bibs/2575/25750026.htm},
researchr = {https://researchr.org/publication/CatanoH03},
cites = {0},
citedby = {0},
pages = {26-40},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2002, Proceedings},
editor = {Lenore D. Zuck and Paul C. Attie and Agostino Cortesi and Supratik Mukhopadhyay},
volume = {2575},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-00348-7},
}