Extending JML for Modular Specification and Verification of Multi-threaded Programs.

Edwin Rodrguez, Matthew B. Dwyer, Cormac Flanagan, John Hatcliff, Gary T. Leavens, Robby

Browse the full ECOOP paper archive.