Inproceedings,

The CISE tool: proving weakly-consistent applications correct.

, , , , and .
PaPoC@EuroSys, page 2:1-2:3. ACM, (2016)

Meta data

Tags

Users

  • @carlaferreira
  • @dblp

Comments and Reviews