About this scholarly article

Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '90 - Relating total and partial correctness interpretations of non-deterministic programs by Gunter, Carl A. is a scholarly article available to read on EtoBox.

Author

Gunter, Carl A.

Publisher

ACM Press

Published

1990