Verification of Java Programs with Generics (2008)

by Kurt Stenzel , Holger Grandy , Wolfgang Reif
Citations:2 - 0 self