Collaborated with:
A.Weiss
A.Guha
Talks about:
configur
(1)
rehears
(1)
puppet
(1)
verif
(1)
tool
(1)
Person:
Rian Shambaugh
DBLP: Shambaugh:Rian
Contributed to:
2016
Wrote 1 papers:
PLDI-2016-ShambaughWG
#named
#verification
Rehearsal: a configuration verification tool for puppet (
RS
,
AW
,
AG
), pp. 416–430.
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
.