Rankings
Publications
Search Publications
Cited-By Search
Sources
Publishers
Scholars
Scholars
Top Cited Scholars
Organizations
About
Login
Register
Home
Publications
Program Construction
Home
Publications
Program Construction
Program Construction
Publisher Website
Google Scholar
Add to Library
Cite
Download
Share
Download
1 January 1979
book
Published by
Springer Nature
in
Lecture Notes in Computer Science
https://doi.org/10.1007/bfb0014649
Abstract
No abstract available
Keywords
PROGRAMMIERUNG (EDV)
ALGORITHM
ALGORITHMS
NETWORKS
PROGRAMMING
PROGRAMMING LANGUAGE
SEMANTICS
VERIFICATION
Cited by 11 articles