Back to Results
First PageMeta Content
Software engineering / Computer programming / Computing / Object-oriented programming / Software design patterns / Concurrent programming languages / Cross-platform software / Method / Objective-C / Invariant / Null Object pattern / Protocol


Verifiable Programming of Object-Oriented and Distributed Systems∗ Olaf Owe University of Oslo, Department of Informatics, Oslo, Norway, and University of California, Santa Cruz, Department of Computer Science, USA Apr
Add to Reading List

Document Date: 2016-05-04 09:09:45


Open Document

File Size: 492,33 KB

Share Result on Facebook
UPDATE