Paper

Hunting Memory Bugs in C Programs with Map2Check (Competition Contribution)

ROCHA, H. O. ; BARRETO, R. S. ; CORDEIRO, L. C. . Hunting Memory Bugs in C Programs with Map2Check (Competition Contribution). In: 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) - 5th Competition on Software Verification, 2015, Eindhoven, Holanda. TACAS, 2015.

2015

Created by Lattes PostCaptcha Importer at 2018-05-31 17:28:50.0.
Simplified Graph of Associations
Quid