Proving Theorems About JML Classes.

Published in: Formal Methods and Hybrid Real-Time Systems (2007)