Travelled to:1 × Italy
Collaborated with:M.Sulzmann A.Zechner
Talks about:traceabl (1) abstract (1) correct (1) evid (1) edsl (1)
Person: Jürgen Nicklisch-Franken
DBLP: Nicklisch-Franken:J=uuml=rgen
Contributed to:
Wrote 1 papers:
- PEPM-2013-SulzmannNZ #abstraction #correctness #traceability
- Traceability and evidence of correctness of EDSL abstractions (MS, JNF, AZ), pp. 71–74.












