Reasoning About Interactive Systems.

Ralph-Johan Back, Anna Mikhajlova, Joakim von Wright

Browse the full FM paper archive.