Algorithmic Verification of Asynchronous Programs

Ganty, Pierre and Majumdar, Rupak
(2012) Algorithmic Verification of Asynchronous Programs.
ACM Transactions on Programming Languages and Systems, 34 (1). 6:1-6:48.

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item