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 × Germany
1 × Greece
Collaborated with:
R.Bubel R.Hähnle J.Dovland O.Owe
Talks about:
composit (1) languag (1) concurr (1) reason (1) deduct (1) verif (1) share (1) model (1) futur (1) about (1)

Person: Crystal Chang Din

DBLP DBLP: Din:Crystal_Chang

Contributed to:

CADE 20152015
SEFM 20122012

Wrote 2 papers:

CADE-2015-DinBH #concurrent #deduction #modelling #named #verification
KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS (CCD, RB, RH), pp. 517–526.
SEFM-2012-DinDO #composition #reasoning
Compositional Reasoning about Shared Futures (CCD, JD, OO), pp. 94–108.

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.