Cited By
View all- Platzer A(2025)Hybrid dynamical systems logic and its refinementsScience of Computer Programming10.1016/j.scico.2024.103179239(103179)Online publication date: Jan-2025
- Platzer A(2023)Refinements of Hybrid Dynamical Systems LogicRigorous State-Based Methods10.1007/978-3-031-33163-3_1(3-14)Online publication date: 30-May-2023
- Huisman MMonti R(2022)Teaching Design by Contract Using Snap!The Logic of Software. A Tasting Menu of Formal Methods10.1007/978-3-031-08166-8_12(243-263)Online publication date: 4-Jul-2022
- Show More Cited By