Isabel Garcia-Contreras

Identifiers

No identifiers captured yet.

Papers (2)

1. Multivariant Assertion-based Guidance in Abstract Interpretation cs.PL · 2018 · author #1
2. Semantic Code Browsing cs.PL · 2016 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Jose F. Morales 2 shared papers
• Manuel V. Hermenegildo 2 shared papers