Mommen, NielsNielsMommenJacobs, BartBartJacobs2024-05-072024-01-112024-05-072023N/AWOS:001118052000001https://imec-publications.be/handle/20.500.12860/43382Verifying C plus plus Dynamic BindingProceedings paper10.1145/3605156.3606448979-8-4007-0246-4WOS:001118052000001SEPARATION LOGIC