Travelled to:
1 × Germany
Collaborated with:
G.Antoniou
Talks about:
verif
(1)
modul
(1)
Person:
Volker Sperschneider
DBLP: Sperschneider:Volker
Contributed to:
1989
Wrote 1 papers:
CSL-1989-AntoniouS
#on the
#verification
On the Verification of Modules (
GA
,
VS
), pp. 16–35.
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
.