Bertrand Meyer

Latest

• A contract-based method to specify stimulus-response requirements