Paper

Map2Check Using LLVM and KLEE

MENEZES, R. ; ROCHA, H. O. ; CORDEIRO, L. C. ; BARRETO, R. S. . Map2Check Using LLVM and KLEE. In: 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2018, Thessaloniki. TACAS'2018. Heidelberg: Springer International Publishing, 2018. v. 1. p. 1-4.

2018

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