First Page | Document Content | |
---|---|---|
Date: 2004-02-03 05:49:55Logic in computer science Computer science Automated theorem proving Acorn Computers Formal verification Model checking Automated reasoning ARM architecture CPU design Formal methods Applied mathematics Theoretical computer science | Add to Reading ListSource URL: www.cl.cam.ac.ukDownload Document from Source WebsiteFile Size: 28,00 KBShare Document on Facebook |