Proving Consistency of Pure Methods and Model Fields.

K. Rustan M. Leino, Ronald Middelkoop

Browse the full FASE paper archive.