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