Proving Consistency of Pure Methods and Model Fields

by K. Rustan M. Leino , Ronald Middelkoop
Citations:3 - 0 self