Travelled to:
1 × Sweden
Collaborated with:
S.Grebing V.Klebanov P.Rümmer M.Ulbrich
Talks about:
regress (1) verif (1) autom (1)
Person: Dennis Felsing
DBLP: Felsing:Dennis
Contributed to:
Wrote 1 papers:
- ASE-2014-FelsingGKRU #automation #verification
- Automating regression verification (DF, SG, VK, PR, MU), pp. 349–360.