Iterators revisited: Proof rules and implementation (2005)

by B Jacobs, E Meijer, F Piessens, W Schulte
Venue:In Workshop on Formal Techniques for Java-like Programs (FTfJP