Rankings
Publications
Search Publications
Cited-By Search
Sources
Publishers
Scholars
Scholars
Top Cited Scholars
Organizations
About
Login
Register
Home
Publications
Theory of Program Structures: Schemes, Semantics, Verification
Home
Publications
Theory of Program Structures: Schemes, Semantics, Verification
Theory of Program Structures: Schemes, Semantics, Verification
Publisher Website
Google Scholar
Add to Library
Cite
Download
Share
Download
1 January 1975
book
Published by
Springer Nature
https://doi.org/10.1007/bfb0023017
Abstract
No abstract available
Keywords
PROGRAMMABLAUFPLAN
PROGRAM VERIFICATION
RECURSION
SEMANTICS
VERIFICATION
Cited
Cited by 66 articles
Scroll to top