Using shape analysis to reduce finite-state models of concurrent Java programs (0)

by J C Corbett
Venue:ACM Transactions on Software Engineering and Methodology