Cited By
View all- Monteiro FGadelha MCordeiro L(2021)Model checking C++ programsSoftware Testing, Verification and Reliability10.1002/stvr.1793Online publication date: 8-Sep-2021
- Stroustrup B(2020)Thriving in a crowded and changing world: C++ 2006–2020Proceedings of the ACM on Programming Languages10.1145/33863204:HOPL(1-168)Online publication date: 12-Jun-2020
- Lochbihler A(2018)Mechanising a Type-Safe Model of Multithreaded Java with a Verified CompilerJournal of Automated Reasoning10.1007/s10817-018-9452-x61:1-4(243-332)Online publication date: 1-Jun-2018
- Show More Cited By