Rankings
Publications
Sources
Publishers
Scholars
Organizations
About
Login
Register
Home
Publications
Proof of algorithms by general snapshots
Home
Publications
Proof of algorithms by general snapshots
Proof of algorithms by general snapshots
PN
Peter Naur
Peter Naur
Publisher Website
Google Scholar
Cite
Download
Share
Download
1 July 1966
journal article
research article
Published by
Springer Science and Business Media LLC
in
BIT Numerical Mathematics
Vol. 6
(4)
,
310-316
https://doi.org/10.1007/bf01966091
Abstract
No abstract available
Keywords
ALGORITHM
PROOF
COMPUTER
PROGRAMMING
Cited by 126 articles