Relational Reasoning about Functions and Nondeterminism (1998)

by Søren Bøgh Lassen , Søren Bøgh Lassen
Citations:31 - 4 self

Document Versions

Relational Reasoning about Functions and Nondeterminism –Søren Bøgh Lassen, Søren Bøgh Lassen — 1998