Constructing Compact Models of Concurrent Java Programs

James C. Corbett. Constructing Compact Models of Concurrent Java Programs. In ISSTA. pages 1-10, 1998. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.