Rankings
Publications
Search Publications
Cited-By Search
Sources
Publishers
Scholars
Scholars
Top Cited Scholars
Organizations
About
Login
Register
Home
Publications
Procedures and parameters: An axiomatic approach
Home
Publications
Procedures and parameters: An axiomatic approach
Procedures and parameters: An axiomatic approach
CH
C. A. R. Hoare
C. A. R. Hoare
Publisher Website
Google Scholar
Add to Library
Cite
Download
Share
Download
1 January 1971
book chapter
Published by
Springer Nature
in
Lecture Notes in Mathematics
p.
102-116
https://doi.org/10.1007/bfb0059696
Abstract
No abstract available
Cited by 141 articles