Flow Logic for Imperative Objects.

Flemming Nielson, Hanne Riis Nielson

Browse the full MFCS paper archive.