Report copyright - Refactoring, Re nement, and Reasoningsymbolaris.com/pub/refactoring.pdf · Refactoring, Re nement, and Reasoning A Logical Characterization for Hybrid Systems Stefan Mitsch, Jan-David
Please pass captcha verification before submit form