Cited By
View all- de Almeida Borges AGonzález Bedmar MConejero Rodríguez JHermo Reyes ECasals Buñuel JJoosten JTimany ATraytel DPientka BBlazy S(2024)UTC Time, Formally VerifiedProceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs10.1145/3636501.3636958(2-13)Online publication date: 9-Jan-2024
- Runge TPotanin AThüm TSchaefer I(2022)Traits: Correctness-by-Construction for FreeFormal Techniques for Distributed Objects, Components, and Systems10.1007/978-3-031-08679-3_9(131-150)Online publication date: 13-Jun-2022
- Stevens LNipkow T(2021)A Verified Decision Procedure for Orders in Isabelle/HOLAutomated Technology for Verification and Analysis10.1007/978-3-030-88885-5_9(127-143)Online publication date: 18-Oct-2021
- Show More Cited By