Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Sequential Calculus

Sequential Calculus

Burghard von Karger and C. A. R. Hoare

Journal
Inf. Process. Lett.
Number
3
Pages
123−130
Volume
53
Year
1995

Links

See Also

Back to Top