General Lessons from a Rely/Guarantee Development.

Cliff B. Jones, Andrius Velykis, Nisansala Yatapanage

Browse the full SETTA paper archive.