The Open UniversitySkip to content

Open Research Online
Items Authored or Edited by Francois Dupressoir

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0 [Create Shortened URL] SURL
Group by: Published Date | Item Type | Authors/Editors/Creators | No Grouping
Jump to: 2013
Number of items: 1.


Dupressoir, François Stéphane Pascal (2013). Proving Cryptographic C Programs Secure with General-Purpose Verification Tools. PhD thesis. The Open University. file

This list was generated on Thu Jul 9 05:32:43 2020 BST.

Policies | Disclaimer

© The Open University   contact the OU