Showing 1 - 2 results of 2 for search 'Evans, David Elliot, 1971-', query time: 0.02s Refine Results
  1. 1
    Using specifications to check source code

    Using specifications to check source code by Evans, David Elliot, 1971-

    Published 2007
    Get full text
    Thesis
  2. 2
    Policy-directed code safety

    Policy-directed code safety by Evans, David Elliot, 1971-

    Published 2014
    Get full text
    Thesis

Search Tools: