Inproceedings,

Enabling the runtime assertion checking of concurrent contracts for the Java modeling language.

, , and .
ICSE, page 786-795. ACM, (2011)

Meta data

Tags

Users

  • @dblp

Comments and Reviews