Proving program properties, symbolic evaluation and logical procedural semantics

Publisher Website

1 January 1975

book chapter
Published by Springer Nature

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

Abstract

No abstract available

Cited by 10 articles