Sequential Calculus

Burghard von Karger, C. A. R. Hoare. Sequential Calculus. Inf. Process. Lett., 53(3):123-130, 1995. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.