et al. Inferring Method Effect Summaries for Deterministic Parallel Java (2009)

by M Vakilian
Venue:In ASE