The virtues of conflict: analysing modern concurrency

Ganesh Narayanaswamy, admin, Daniel Kroening
Last updated on Nov 15, 2021
PDF DOI
Formal Verification Program Analysis