Refactoring, Refinement, and Reasoning - A Logical Characterization for Hybrid Systems.

Stefan Mitsch, Jan-David Quesel, Andr Platzer

Browse the full FM paper archive.