W.: Verification of java programs with generics (2008)

by K Stenzel, H Grandy, Reif
Venue:AMAST 2008. LNCS