logo Library
  • Log In
    Problems logging in with your UoM account?
    or
    No UoM account? Click here to register a guest account. Have you forgotten your guest credentials?
logo Library
  • FAQs
  • Communities & Collections
  • Browse Repository
  • Statistics
  • My Lists
search Search
  • Log In
    Problems logging in with your UoM account?
    or
    No UoM account? Click here to register a guest account. Have you forgotten your guest credentials?
  1. Home
  2. Minerva Access
  3. Engineering and Information Technology
  4. Computing and Information Systems
  5. Computing and Information Systems - Research Publications
  6. SecRSL: Security Separation Logic for C11 Release-Acquire Concurrency
 
Library Twitter Library Facebook Library Instagram Library Blogs Library Contacts