The equivalence of models of tasking (1972)

by Daniel M. Berry
Venue:Proc. of ACM Conf. on Proving Assertions about Programs, SIGPLAN Not
Citations:2 - 2 self