Cited By
View all- Bohrer BPlatzer A(2020)Constructive Game LogicProgramming Languages and Systems10.1007/978-3-030-44914-8_4(84-111)Online publication date: 18-Apr-2020
- Duan PZhou YGong XLi B(2018)A Systematic Mapping Study on the Verification of Cyber-Physical SystemsIEEE Access10.1109/ACCESS.2018.28720156(59043-59064)Online publication date: 2018
- Bohrer RRahli VVukotic IVölp MPlatzer ABertot YVafeiadis V(2017)Formally verified differential dynamic logicProceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs10.1145/3018610.3018616(208-221)Online publication date: 16-Jan-2017