Laurent Hubert

Identifiers

• name variant Laurent Hubert 0.60 · backfill

Papers (1)

1. Verification of Java Bytecode using Analysis and Transformation of Logic Programs cs.PL · 2010 · author #3

Mentions

• 1007.3250 #3 · backfill · confidence 0.70 Laurent Hubert

Frequent Coauthors

• Elvira Albert 1 shared papers
• German Puebla 1 shared papers
• Miguel G\'omez-Zamalloa 1 shared papers