Relating Partial and Total Correctness Interpretations of Nondeterministic Programs
Carl A. Gunter
ACM Symposium on Principles of Programming Languages (POPL ’90), pages 306-319, San Francisco, CA, January 1990.
Last updated on Thursday, June 26, 2014, 12:46 pm