Refactoring-as-Propositions: Proved Refactoring of Hybrid Systems via Proved Refinements.

Enguerrand Prebet, Andr Platzer

Browse the full IJCAR paper archive.