Back to Results
First PageMeta Content
Model theory / Philosophical logic / Concurrency / Temporal logic / Temporal logic of actions / First-order logic / Modal logic / FO / If and only if / Logic / Mathematical logic / Mathematics


Reasoning about programs by exploiting the environment
Add to Reading List

Document Date: 2013-09-12 23:54:30

Open Document

File Size: 773,32 KB

Share Result on Facebook
UPDATE