Back to Results
First PageMeta Content
Theoretical computer science / Logic in computer science / Formal methods / Mathematical logic / Automated theorem proving / Substructural logic / Formal verification / Compiler correctness / Separation logic / Correctness / Semantics / Hoare logic


Program Logics for Certified Compilers
Add to Reading List

Document Date: 2013-05-31 14:00:42

Open Document

File Size: 450,69 KB

Share Result on Facebook