Publication:
Verifying C plus plus Dynamic Binding
| dc.contributor.author | Mommen, Niels | |
| dc.contributor.author | Jacobs, Bart | |
| dc.date.accessioned | 2024-05-07T09:44:01Z | |
| dc.date.available | 2024-01-11T17:16:17Z | |
| dc.date.available | 2024-05-07T09:44:01Z | |
| dc.date.issued | 2023 | |
| dc.identifier.doi | 10.1145/3605156.3606448 | |
| dc.identifier.eisbn | 979-8-4007-0246-4 | |
| dc.identifier.issn | N/A | |
| dc.identifier.uri | https://imec-publications.be/handle/20.500.12860/43382 | |
| dc.publisher | ASSOC COMPUTING MACHINERY | |
| dc.source.beginpage | 1 | |
| dc.source.conference | 25th ACM International Workshop on Formal Techniques for Java-like Programs (FTfJP) | |
| dc.source.conferencedate | JUL 18, 2023 | |
| dc.source.conferencelocation | Seattle | |
| dc.source.endpage | 7 | |
| dc.source.journal | N/A | |
| dc.source.numberofpages | 7 | |
| dc.subject.keywords | SEPARATION LOGIC | |
| dc.title | Verifying C plus plus Dynamic Binding | |
| dc.type | Proceedings paper | |
| dspace.entity.type | Publication | |
| Files | ||
| Publication available in collections: |