Annotations in formal specifications and proofs
- 1 July 1994
- journal article
- Published by Springer Nature in Formal Methods in System Design
- Vol. 5 (1-2) , 119-144
- https://doi.org/10.1007/bf01384236
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Formal and Informal ProofsPublished by Springer Nature ,1991
- HOL: A Proof Generating System for Higher-Order LogicPublished by Springer Nature ,1988
- The Evolution of ProgramsPublished by Springer Nature ,1983
- Domains for denotational semanticsPublished by Springer Nature ,1982
- Edinburgh LCFLecture Notes in Computer Science, 1979
- Constructive Methods in Program VerificationIEEE Transactions on Software Engineering, 1977
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965
- A formulation of the simple theory of typesThe Journal of Symbolic Logic, 1940