Back to Results
First PageMeta Content
Mathematics / Formal methods / Semantics of programming languages / Operational semantics / Programming language / Formal verification / Compiler correctness / Axiomatic semantics / Logic / Theoretical computer science / Logic in computer science / Software engineering


Document Date: 2009-02-16 14:50:09

Open Document

File Size: 63,49 KB

Share Result on Facebook
UPDATE