Verification of Java Programs with Generics (2008)

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