1 results Refine Results
  1. 1
    by Mackenzie, Donald A.
    Published 2001
    “...Inside technology...”
    Connect to
    Book
    Save to List
    Saved in:
    Mechanizing proof : computing, risk, and trust /

Search Tools: