Sound, Modular and Compositional Verification of the Input/Output Behavior of Programs.

Willem Penninckx, Bart Jacobs, Frank Piessens

Browse the full ESOP paper archive.