Steven P. Reiss
Tool Demonstration: CHET: Checking Specifications in Java Systems
IWPC, 2005.
@inproceedings{IWPC-2005-Reiss, author = "Steven P. Reiss", booktitle = "{Proceedings of the 13th International Workshop on Program Comprehension}", doi = "10.1109/WPC.2005.40", isbn = "0-7695-2254-8", pages = "165--168", publisher = "{IEEE Computer Society}", title = "{Tool Demonstration: CHET: Checking Specifications in Java Systems}", year = 2005, }