Referential Opacity In Nondeterministic Data Refinement (1993)

Cached

Download Links

by Xiaolei Qian , Allen Goldberg
Citations:8 - 0 self