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

Collaborated with:
T.Dinsdale-Young P.d.R.Pinto L.Birkedal
Talks about:
concurr (1) automat (1) verif (1) grain (1) caper (1) fine (1)

Person: Kristoffer Just Andersen

DBLP DBLP: Andersen:Kristoffer_Just

Contributed to:

ESOP 20172017

Wrote 1 papers:

ESOP-2017-Dinsdale-YoungP #automation #concurrent #fine-grained #verification
Caper - Automatic Verification for Fine-Grained Concurrency (TDY, PdRP, KJA, LB), pp. 420–447.

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.