Travelled to:
1 × Belgium
Collaborated with:
∅
Talks about:
experi
(1)
vdm
(1)
use
(1)
stc
(1)
Person:
R. J. Crispin
DBLP: Crispin:R=_J=
Contributed to:
1987
Wrote 1 papers:
VDME-1987-Crispin
#experience
#using
Experience Using VDM in STC (
RJC
), pp. 19–32.
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
.
DBLP: Crispin:R=_J=
1987
DBLP: Crispin:R=_J=1987