Compositional Verification Methods for Next-Generation Concurrency (Dagstuhl Seminar 15191)

Birkedal, Lars and Dreyer, Derek and Gardner, Philippa and Shao, Zhong
(2015) Compositional Verification Methods for Next-Generation Concurrency (Dagstuhl Seminar 15191).
Dagstuhl Reports, 5 (5). 1–23.

Full text not available from this repository.
Official URL: https://doi.org/10.4230/DagRep.5.5.1

Actions

Actions (login required)

View Item View Item