Complete Contracts through Specification Drivers.

Alexandr Naumchev, Bertrand Meyer

Browse the full TASE paper archive.