Steven P. Reiss. Tool Demonstration: CHET: Checking Specifications in Java Systems. In 13th International Workshop on Program Comprehension (IWPC 2005), 15-16 May 2005, St. Louis, MO, USA. pages 165-168, IEEE Computer Society, 2005. [doi]
Abstract is missing.