@inproceedings{inproceedings, title = {{Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL}}, publisher = {{Springer International Publishing}}, url = {{}}, year = {{2020}}, month = {{1}}, author = {{Foster S and Huerta y Munive JJ and Struth G}}, doi = {{10.1007/978-3-030-43520-2_11}}, isbn = {{9783030435196}}, pages = {{169-186}}, note = {{Accessed on 2025/04/14}}}