Report copyright - Refactoring, Re nement, and Reasoningjquesel/paper/refactoring.pdfRefactoring, Re nement, and Reasoning A Logical Characterization for Hybrid Systems Stefan Mitsch, Jan-David Quesel,
Please pass captcha verification before submit form