1983
Proof rules and transformations dealing with fairness
Publication
Publication
Science of Computer Programming , Volume 3 p. 65- 100
Additional Metadata | |
---|---|
North-Holland | |
Science of Computer Programming | |
Apt, K., & Olderog, E.-R. (1983). Proof rules and transformations dealing with fairness. Science of Computer Programming, 3, 65–100. |