Germ\'an Puebla

Identifiers

• name variant Germ\'an Puebla 0.60 · backfill

Papers (2)

1. Certificate size reduction in Abstraction-Carrying Code cs.PL · 2010 · author #3
2. Test Case Generation for Object-Oriented Imperative Languages in CLP cs.PL · 2010 · author #3

Mentions

• 1010.4533 #3 · backfill · confidence 0.70 Germ\'an Puebla
• 1007.5195 #3 · backfill · confidence 0.70 Germ\'an Puebla

Frequent Coauthors

• Elvira Albert 2 shared papers
• Manuel Hermenegildo 1 shared papers
• Miguel G\'omez-Zamalloa 1 shared papers
• Puri Arenas 1 shared papers