Niels Mommen

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 3

Top Topics

Dynamically Updated

Verification Method

Changing Environment

Top Venues

Publications

Niels Mommen, Bart Jacobs
Verifying C++ Dynamic Binding. FTfJP@ECOOP (2023)
Niels Mommen, Bart Jacobs
Verifying C++ dynamic binding. CoRR (2023)
Niels Mommen, Bart Jacobs
Verification of C++ Programs with VeriFast. CoRR (2022)