Miguel G\'omez-Zamalloa

Identifiers

• name variant Miguel G\'omez-Zamalloa 0.60 · backfill

Papers (3)

1. On the Generation of Initial Contexts for Effective Deadlock Detection cs.PL · 2017 · author #2
2. Test Case Generation for Object-Oriented Imperative Languages in CLP cs.PL · 2010 · author #1
3. Verification of Java Bytecode using Analysis and Transformation of Logic Programs cs.PL · 2010 · author #2

Mentions

• 1007.5195 #1 · backfill · confidence 0.70 Miguel G\'omez-Zamalloa
• 1007.3250 #2 · backfill · confidence 0.70 Miguel G\'omez-Zamalloa

Frequent Coauthors

• Elvira Albert 3 shared papers
• Germ\'an Puebla 1 shared papers
• German Puebla 1 shared papers
• Laurent Hubert 1 shared papers
• Miguel Isabel 1 shared papers