BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Czech Republic
1 × Italy
Collaborated with:
M.Sulzmann J.Nicklisch-Franken
Talks about:
construct (1) traceabl (1) abstract (1) correct (1) analysi (1) tempor (1) linear (1) trace (1) logic (1) finit (1)

Person: Axel Zechner

DBLP DBLP: Zechner:Axel

Contributed to:

PEPM 20132013
TAP 20122012

Wrote 2 papers:

PEPM-2013-SulzmannNZ #abstraction #correctness #traceability
Traceability and evidence of correctness of EDSL abstractions (MS, JNF, AZ), pp. 71–74.
TAP-2012-SulzmannZ #analysis #finite #linear #logic
Constructive Finite Trace Analysis with Linear Temporal Logic (MS, AZ), pp. 132–148.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.