Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Tools and Technology for Trusted Code

Tools and Technology for Trusted Code

Jon Pincus and C. A. R. Hoare

Month
feb
Note
Annotated draft
Year
2002

Links

See Also

Back to Top