Verification of Java programs with generics (2008)

by K Stenzel, H Grandy, W Reif
Venue:In AMAST'08, number 5140 in LNCS