1988
Proving correctness of concurrent programs - a quick introduction
Publication
Publication
Additional Metadata | |
---|---|
Computer Science Press | |
Organisation | Networks and Optimization |
Apt, K. (1988). Proving correctness of concurrent programs - a quick introduction. Current Trends in Theoretical Computer Science (pp. 305–346). Computer Science Press. |