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

Collaborated with:
I.Schaefer L.Cleophas T.Thüm D.G.Kourie B.W.Watson
Talks about:
construct (1) support (1) correct (1) tool (1)

Person: Tobias Runge

DBLP DBLP: Runge:Tobias

Contributed to:

FASE 20192019

Wrote 1 papers:

FASE-2019-RungeSCTKW #tool support
Tool Support for Correctness-by-Construction (TR, IS, LC, TT, DGK, BWW), pp. 25–42.

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.