Back to Results
First PageMeta Content
Applied mathematics / Logic / Formal sciences / Automated theorem proving / Formal verification / Model checking / Concurrency / Mathematical logic / Semantics of programming languages / Theoretical computer science / Formal methods / Logic in computer science


Document Date: 2013-08-30 16:16:40

Open Document

File Size: 74,91 KB

Share Result on Facebook
UPDATE