Biblio

Export 1 results:
Filters: Author is David Greenaway  [Clear All Filters]
2010
Andronick J, Greenaway D, Elphinstone K.  2010.  Towards Proving Security in the Presence of Large Untrusted Components. 5th International Workshop on Systems Software Verification (SSV 10).