BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
Nico Naus Markus Klinik
Talks about:
program (1) foundat (1) orient (1) formal (1) task (1) top (1) hat (1)

Person: Tim Steenvoorden

DBLP DBLP: Steenvoorden:Tim

Contributed to:

PPDP 20192019

Wrote 1 papers:

PPDP-2019-SteenvoordenNK #formal method #named #programming
TopHat: A formal foundation for task-oriented programming (TS, NN, MK), p. 13.

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.