Victor B. F. Gomes

3 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

N2577: A provenance-aware memory object model for C
Jens Gustedt and others (2020)
Exploring C semantics and pointer provenance
Kayvan Memarian and others (2019) · Proceedings of the ACM on Programming Languages · Association for Computing Machinery
A Program Construction and Verification Tool for Separation Logic
Brijesh Dongol and others (2015) · Mathematics of Program Construction · Springer