Inproceedings,

Collective Assertions.

, and .
VMCAI, volume 6538 of Lecture Notes in Computer Science, page 387-402. Springer, (2011)

Meta data

Tags

Users

  • @dblp

Comments and Reviews