Back to Results
First PageMeta Content
Logic / Mathematical logic / Abstraction / Model theory / Predicate logic / Formal languages / Logic in computer science / First-order logic / Interpretation / Modal logic / Axiom / Equality


A Specification Formalism for Interacting Objects∗ Olaf Owe Department of Informatics, University of Oslo, Norway email: , fax: +Abstract
Add to Reading List

Document Date: 2011-09-02 08:27:14

Open Document

File Size: 349,62 KB

Share Result on Facebook
UPDATE