Program Verification by Symbolic Execution and Induction

Publisher Website

1 January 1987

book chapter
Published by Springer Nature in Informatik-Fachberichte

p. 201-210
https://doi.org/10.1007/978-3-642-73005-4_22

Abstract

No abstract available

Keywords

This publication has 1 reference indexed in Scilit:

Edinburgh LCF
Lecture Notes in Computer Science, 1979