Concurrent Contracts for Java in JML.

Wladimir Araujo, Lionel C. Briand, Yvan Labiche

Browse the full ISSRE paper archive.