%0 Conference Paper %1 conf/fm/ShengBZ23 %A Sheng, Huanhuan %A Bentkamp, Alexander %A Zhan, Bohua %B FM %D 2023 %E Chechik, Marsha %E Katoen, Joost-Pieter %E Leucker, Martin %I Springer %K dblp %P 160-178 %T HHLPy: Practical Verification of Hybrid Systems Using Hoare Logic. %U http://dblp.uni-trier.de/db/conf/fm/fm2023.html#ShengBZ23 %V 14000 %@ 978-3-031-27481-7

@inproceedings{conf/fm/ShengBZ23, added-at = {2023-03-06T00:00:00.000+0100}, author = {Sheng, Huanhuan and Bentkamp, Alexander and Zhan, Bohua}, biburl = {https://www.bibsonomy.org/bibtex/250bff64766878be893dcd25d4653d1e9/dblp}, booktitle = {FM}, crossref = {conf/fm/2023}, editor = {Chechik, Marsha and Katoen, Joost-Pieter and Leucker, Martin}, ee = {https://doi.org/10.1007/978-3-031-27481-7_11}, interhash = {22aaab16030f8f4538c500b3f7c87e73}, intrahash = {50bff64766878be893dcd25d4653d1e9}, isbn = {978-3-031-27481-7}, keywords = {dblp}, pages = {160-178}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T13:22:28.000+0200}, title = {HHLPy: Practical Verification of Hybrid Systems Using Hoare Logic.}, url = {http://dblp.uni-trier.de/db/conf/fm/fm2023.html#ShengBZ23}, volume = 14000, year = 2023 }