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:
Tim Steenvoorden Markus Klinik
Talks about:
program (1) foundat (1) orient (1) formal (1) task (1) top (1) hat (1)

Person: Nico Naus

DBLP DBLP: Naus:Nico

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.