Inproceedings,

Java memory model aware software validation.

, , and .
PASTE, page 8-14. ACM, (2008)

Meta data

Tags

Users

  • @dblp

Comments and Reviews