@inproceedings{DBLP:conf/rta/BohrerP20,
pdf = {https://drops.dagstuhl.de/opus/volltexte/2020/12336/pdf/LIPIcs-FSCD-2020-14.pdf},
slides = {pub/constructive-hybrid-games-refinement-slides.pdf},
author = {['Brandon Bohrer', 'André Platzer']},
editor = {['Zena M. Ariola']},
title = {Refining Constructive Hybrid Games},
booktitle = {5th International Conference on Formal Structures for Computation
and Deduction, FSCD 2020, June 29 - July 5, 2020, Paris, France},
series = {LIPIcs},
volume = {167},
pages = {},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
year = {2020},
doi = {10.4230/LIPIcs.FSCD.2020.14}
}