First Page | Document Content | |
---|---|---|
Date: 2016-08-19 20:09:30Software 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 PeterhouseAdd to Reading ListSource URL: xrchz.netDownload Document from Source WebsiteFile Size: 618,72 KBShare Document on Facebook |