Used together with:
specif
(1)
system
(1)
program
(1)
support
(1)
Stem
ldm$ (
all stems
)
1 papers:
ILPC-1982-FarkasSS82
#named
#specification
LDM: A Program Specification Support System (
ZF
,
PS
,
EST
), pp. 123–128.
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
.