Back to Results
First PageMeta Content
Software engineering / Theoretical computer science / Computing / Formal methods / Logic in computer science / Proof assistants / Compiler construction / Automated theorem proving / Formal verification / HOL / KeY / ML


Self-compilation and self-verification Ramana Kumar Peterhouse
Add to Reading List

Document Date: 2016-08-19 20:09:30


Open Document

File Size: 618,72 KB

Share Result on Facebook