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.
 












