Daniel Larraz

Identifiers

• name variant Daniel Larraz 0.60 · backfill

Papers (1)

1. Compositional Safety Verification with Max-SMT cs.LO · 2015 · author #2

Mentions

• 1507.03851 #2 · backfill · confidence 0.70 Daniel Larraz

Frequent Coauthors

• Albert Oliveras 1 shared papers
• Albert Rubio 1 shared papers
• Enric Rodriguez-Carbonell 1 shared papers
• Marc Brockschmidt 1 shared papers