Improving JML: For a Safer and More Effective Language.

Patrice Chalin

Browse the full FM paper archive.