Representing, verifying and applying software development steps using the PVS system
- 1 January 1995
- book chapter
- Published by Springer Nature
- p. 431-445
- https://doi.org/10.1007/3-540-60043-4_69
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Construction and deduction methods for the formal development of softwarePublished by Springer Nature ,1995
- Algorithm theories and design tacticsScience of Computer Programming, 1990
- Specification and Transformation of ProgramsPublished by Springer Nature ,1990
- Applications of a strategy for designing divide-and-conquer algorithmsScience of Computer Programming, 1987
- Proving and applying program transformations expressed with second-order patternsActa Informatica, 1978