Login / Signup

Verification of Concurrent Programs on Weak Memory Models.

Oleg TravkinHeike Wehrheim
Published in: ICTAC (2016)
Keyphrases
  • concurrent programs
  • case study