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.