Reset Filters
Literature type: eBook

Author Results for Hähnle, Reiner

Hähnle,Reiner
Beckert,Bernhard
SpringerLink (Online service)
(Peter H.)
Schmitt,P. H.
see all »
Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt (eds.) ; foreword by K. Rustan M. Leino
FMCO 2011,Turin, Italy)
Giesl,Jürgen
IJCAR 2010,Edinburgh, Scotland)
International Dagstuhl Seminar on Machine Learning for Dynamic Software Analysis: Potential and Limits,Dagstuhl, Wadern, Germany

Search Tools: Get RSS Feed — Email this Search —