Implementing verification strategies in the KIV-system
- 9 June 2005
- book chapter
- Published by Springer Nature
- p. 131-140
- https://doi.org/10.1007/bfb0012828
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- GWAI-87 11th German Workshop on Artifical IntelligencePublished by Springer Nature ,1987
- Writing programs that construct proofsJournal of Automated Reasoning, 1985
- The Science of ProgrammingPublished by Springer Nature ,1981
- Edinburgh LCFLecture Notes in Computer Science, 1979
- First-Order Dynamic LogicLecture Notes in Computer Science, 1979
- LogikkalkülePublished by Springer Nature ,1978