Skip to main content

Tools and Technology for Trusted Code

Jon Pincus and C. A. R. Hoare

Month
feb
Note
Annotated draft
Year
2002