DIJKSTRA's predicate transformer, non-determinism, recursion, and termination

Publisher Website

1 January 1976

book chapter
Published by Springer Nature in Lecture Notes in Computer Science

p. 472-481
https://doi.org/10.1007/3-540-07854-1_217

Abstract

No abstract available

Keywords

Cited by 16 articles