Rankings
Publications
Search Publications
Cited-By Search
Sources
Publishers
Scholars
Scholars
Top Cited Scholars
Organizations
About
Login
Register
Home
Publications
Verification of Sequential and Concurrent Programs
Home
Publications
Verification of Sequential and Concurrent Programs
Verification of Sequential and Concurrent Programs
KA
Krzysztof R. Apt
Krzysztof R. Apt
EO
Ernst-Rüdiger Olderog
Ernst-Rüdiger Olderog
Publisher Website
Google Scholar
Add to Library
Cite
Download
Share
Download
1 January 1991
book
Published by
Springer Nature
https://doi.org/10.1007/978-1-4757-4376-0
Abstract
No abstract available
Keywords
AREA
DIVISION
VARIABLE
FORM
PROGRAM TRANSFORMATION
PROGRAM VERIFICATION
PROOF
SEMANTICS
SOUND
TRANSFORMATION
VERIFICATION
Cited by 104 articles