Practical Reasoning About Invocations and Implementations of Pure Methods.

dm Darvas, K. Rustan M. Leino

Browse the full FASE paper archive.