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.issn | N/A | |
dc.identifier.other | WOS:001118052000001 | |
dc.identifier.uri | https://imec-publications.be/handle/20.500.12860/43382.2 | |
dc.source | WOS | |
dc.title | Verifying C plus plus Dynamic Binding | |
dc.type | Proceedings paper | |
dc.identifier.doi | 10.1145/3605156.3606448 | |
dc.identifier.eisbn | 979-8-4007-0246-4 | |
dc.source.numberofpages | 7 | |
dc.source.peerreview | yes | |
dc.source.beginpage | 1 | |
dc.source.endpage | 7 | |
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.journal | N/A | |
imec.availability | Published - imec |
Files in this item
Files | Size | Format | View |
---|---|---|---|
There are no files associated with this item. |