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
Collaborated with:
D.Beyer
Talks about:
symbol (1) execut (1) effici (1) acheck (1) exec (1) sym (1) cpa (1)

Person: Thomas Lemberger

DBLP DBLP: Lemberger:Thomas

Contributed to:

ASE 20182018

Wrote 1 papers:

ASE-2018-BeyerL #execution #named #performance #symbolic computation
CPA-SymExec: efficient symbolic execution in CPAchecker (DB, TL), pp. 900–903.
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.