Travelled to:
1 × Germany
Collaborated with:
D.Ott
Talks about:
recoveri (1) automat (1) specif (1) trace (1) tackl (1) semi (1) larg (1)
Person: Jörg Leuser
DBLP: Leuser:J=ouml=rg
Contributed to:
Wrote 1 papers:
- REFSQ-2010-LeuserO #automation #scalability #specification
- Tackling Semi-automatic Trace Recovery for Large Specifications (JL, DO), pp. 203–217.