Back to Results
First PageMeta Content
Programming paradigms / Concurrent computing / Formal methods / Design by contract / Software design / Hoare logic / Liskov substitution principle / Communications protocol / Algorithm / Software engineering / Computing / Theoretical computer science


A Framework for the Semantics of Behavioral Contracts Ashley McNeile Metamaxim Ltd, 48 Brunswick Gardens, London W8 4AN, UK [removed]
Add to Reading List

Document Date: 2010-05-23 06:34:27

Open Document

File Size: 164,91 KB

Share Result on Facebook
UPDATE