FOZCIL: A framework for converting formal specifications in Object-Z to design contracts in OO programming languages.

Nixon Sunny George, Cui Zhang, Anne-Louise Radimsky

Browse the full IRI paper archive.