Iterators Revisited: Proof Rules and Implementation (2005)

by Bart Jacobs , Erik Meijer , Frank Piessens , Wolfram Schulte
Venue:IN WORKSHOP ON FORMAL TECHNIQUES FOR JAVA-LIKE PROGRAMS (FTFJP
Citations:6 - 1 self