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

Authors

  • Lars Birkedal
  • Derek Dreyer
  • Philippa Gardner
  • Zhong Shao

Venue

Dagstuhl Reports, vol. 5(5), pp. 1–23

Publication Date

2015

Identifiers

Source Materials