Relational Reasoning about Functions and Nondeterminism (1998)

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