Proving program properties, symbolic evaluation and logical procedural semantics

Publisher Website

1 January 1975

book chapter
conference paper
Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science

p. 294-301
https://doi.org/10.1007/3-540-07389-2_211

Abstract

No abstract available

Cited by 10 articles