BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Czech Republic
Collaborated with:
A.J.Summers P.Müller
Talks about:
automat (2) lightweight (1) conjunct (1) support (1) verifi (1) symbol (1) execut (1) verif (1) separ (1) magic (1)

Person: Malte Schwerhoff

DBLP DBLP: Schwerhoff:Malte

Contributed to:

ECOOP 20152015
CAV (1) 20162016

Wrote 2 papers:

ECOOP-2015-SchwerhoffS #automation #lightweight #verification
Lightweight Support for Magic Wands in an Automatic Verifier (MS, AJS), pp. 614–638.
CAV-2016-MuellerSS #automation #execution #symbolic computation #using #verification
Automatic Verification of Iterated Separating Conjunctions Using Symbolic Execution (PM, MS, AJS), pp. 405–425.

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.