Type inference for parameterized race-free java (2004)

by R Agarwal, S D Stoller
Venue:In Verification, Model Checking, and Abstract Interpretation, 5th International Conference (VMCAI