@INPROCEEDINGS{DBLP:conf/fm/MitschQP14,
pdf = {pub/refactoring.pdf},
slides = {pub/refactoring-slides.pdf},
author = {Stefan Mitsch and
Jan-David Quesel and
Andr{\'e} Platzer},
title = {Refactoring, Refinement, and Reasoning:
A Logical Characterization for Hybrid
Systems},
booktitle = {FM},
year = {2014},
pages = {481-496},
doi = {10.1007/978-3-319-06410-9_33},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
longbooktitle = {FM 2014: Formal Methods, 19th
International Symposium on Formal
Methods, Singapore, May 12-16, 2014,
Proceedings},
publisher = {Springer},
volume = {8442},
}```