Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Software Verification for Weak Memory via Program Transformation

Software Verification for Weak Memory via Program Transformation

Jade Alglave‚ Daniel Kroening‚ Vincent Nimal and Michael Tautschnig

Book Title
ESOP
Note
arXiv version available
Pages
512−532
Year
2013

Links

See Also

Back to Top