Travelled to:
1 × Italy
Collaborated with:
S.P.Miller
M.P.E.Heimdahl
Talks about:
shall
(1)
prove
(1)
Person:
Alan C. Tribble
DBLP: Tribble:Alan_C=
Contributed to:
2003
Wrote 1 papers:
FME-2003-MillerTH
#proving
Proving the Shalls (
SPM
,
ACT
,
MPEH
), pp. 75–93.
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
.