Skip to content

Constructing Compact Models of Concurrent Java Programs.

James C. Corbett

VenueAISSTA
Year1998
ProceedingsISSTA

Browse the full ISSTA paper archive.