Report - A theory of contracts for web services. In: 35th annual ...eprints.gla.ac.uk/47889/1/47889.pdfthe coercion function c = λx{a :s;b t}. ... Coercions for contracts have an observable

Please pass captcha verification before submit form