Skip to content

Inferring better contracts.

Yi Wei, Carlo A. Furia, Nikolay Kazmin, Bertrand Meyer

VenueA*ICSE
Year2011
ProceedingsICSE

Browse the full ICSE paper archive.