Constructing Compact Models of Concurrent Java Programs

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

Abstract

Abstract is missing.