Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Verification of Fine−grain Concurrent Programs

Verification of Fine−grain Concurrent Programs

Tony Hoare

Journal
Electr. Notes Theor. Comput. Sci.
Pages
165−171
Volume
209
Year
2008

Links

See Also

Back to Top