Thomas Martin Gawlitza (VERIMAG - IMAG)

Identifiers

• name variant Thomas Martin Gawlitza (VERIMAG - IMAG) 0.60 · backfill

Papers (1)

1. Improving Strategies via SMT Solving cs.PL · 2011 · author #1

Mentions

• 1101.2812 #1 · backfill · confidence 0.70 Thomas Martin Gawlitza (VERIMAG - IMAG)

Frequent Coauthors

• David Monniaux (VERIMAG - Imag) 1 shared papers