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

Collaborated with:
M.Windsor M.Dodds M.J.Parkinson
Talks about:
lightweight (1) concurr (1) verif (1) starl (1) view (1)

Person: Ben Simner

DBLP DBLP: Simner:Ben

Contributed to:

CAV (1) 20172017

Wrote 1 papers:

CAV-2017-WindsorDSP #concurrent #lightweight #named #verification
Starling: Lightweight Concurrency Verification with Views (MW, MD, BS, MJP), pp. 544–569.

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.