Preliminary design of a unified JML representation and software infrastructure.

Robby, Patrice Chalin

Browse the full ECOOP paper archive.