|
|||||
|
|
Theorem Proving and Model Building with the Calculus KE |
|
| Authors: | PITT, JEREMY CUNNINGHAM, JIM |
| Affiliation: | Department of Computing, Imperial College of Science, Technology, and Medicine 180, Queen's Gate, London, SW7 2BZ, UK E-mail: jvp{at}doc.ic.ac.uk Department of Computing, Imperial College of Science, Technology, and Medicine 180, Queen's Gate, London, SW7 2BZ, UK E-mail: rjc{at}doc.ic.ac.uk |
| Abstract: | |
| Keywords: | |
| 本文献已被 Oxford 等数据库收录！ | |