Cited By
View all- Blaudeau CLiu F(2022)A conceptual framework for safe object initialization: a principled and mechanized soundness proof of the Celsius modelProceedings of the ACM on Programming Languages10.1145/35633146:OOPSLA2(729-757)Online publication date: 31-Oct-2022
- Scaletta MHähnle RSteinhöfel DBubel RTilevich EDe Roover C(2021)Delta-based verification of software product familiesProceedings of the 20th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences10.1145/3486609.3487200(69-82)Online publication date: 17-Oct-2021
- Gurov DHähnle RKamburjan E(2020)Who Carries the Burden of Modularity?Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles10.1007/978-3-030-61362-4_1(3-21)Online publication date: 29-Oct-2020
- Show More Cited By