1991
Using transformations to verify parallel programs
Publication
Publication
Additional Metadata | |
---|---|
Springer | |
Lecture Notes in Computer Science | |
Organisation | Logic and language |
Olderog, E.-R., & Apt, K. (1991). Using transformations to verify parallel programs. In Algebraic methods II: Theory, tools and applications (pp. 55–81). Springer. |