Mikhail Y. R. Gadelha

Identifiers

No identifiers captured yet.

Papers (1)

1. Counterexample-Guided k-Induction Verification for Fast Bug Detection cs.PL · 2017 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Denis A. Nicole 1 shared papers
• Lucas C. Cordeiro 1 shared papers