Browsing by Author "Mommen, Niels"
Now showing 1 - 1 of 1
- Results Per Page
- Sort Options
Publication Verifying C plus plus Dynamic Binding
;Mommen, NielsJacobs, BartProceedings paper2023, 25th ACM International Workshop on Formal Techniques for Java-like Programs (FTfJP), JUL 18, 2023, p.1-7