Refinement and Separation: Modular Verification of Wandering Trees.

Gerhard Schellhorn, Stefan Bodenmller, Wolfgang Reif

Browse the full IFM paper archive.