Travelled to:
1 × USA
Collaborated with:
L.Nolin
Talks about:
formal
(1)
exel
(1)
Person:
G. Ruggiu
DBLP: Ruggiu:G=
Contributed to:
1973
Wrote 1 papers:
POPL-1973-NolinR
#formal method
Formalization of Exel (
LN
,
GR
), pp. 108–119.
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
.