DMCA

A.: Symbolic Predictive Analysis for Concurrent Programs (2009)

by Chao Wang , Sudipta Kundu , Malay Ganai , Aarti Gupta
Venue:FM 2009. LNCS
Citations:23 - 9 self