Proving Consistency of Pure Methods and Model Fields

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