Symbolic predictive analysis for concurrent programs. (2009)

by C Wang, S Kundu, M Ganai, A Gupta
Venue:In Proceedings of the 2nd World Congress on Formal Methods, FM,