The Modal Logic of Abstraction Refinement.

Jakob Piribauer, Vinzent Zschuppe

Browse the full FOSSACS paper archive.