Back to Results
First PageMeta Content
Logic in computer science / Programming paradigms / Cross-platform software / Object-oriented programming / Procedural programming languages / Postcondition / Design by contract / Precondition / Class invariant / Software engineering / Computing / Computer programming


Embedded Contract Languages Manuel Fähndrich Michael Barnett Microsoft Research
Add to Reading List

Document Date: 2009-11-13 18:01:10

Open Document

File Size: 306,52 KB

Share Result on Facebook
UPDATE