BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
D.Schemmel O.S.Dustmann T.N.0001 K.Wehrle
Talks about:
softwar (1) analysi (1) symbol (1) world (1) real (1) live (1)

Person: Julian Büning

DBLP DBLP: B=uuml=ning:Julian

Contributed to:

CAV (2) 20182018

Wrote 1 papers:

CAV-2018-SchemmelBDNW #analysis #liveness
Symbolic Liveness Analysis of Real-World Software (DS, JB, OSD, TN0, KW), pp. 447–466.

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.