Used together with:
method
(1)
standard
(1)
work
(1)
formal
(1)
group
(1)
Stem
bcs$ (
all stems
)
1 papers:
VDME-1988-Ruggles88a
#formal method
#standard
Formal Methods in Standards — A Report from the BCS Working Group (
CR
), pp. 79–85.
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
.
VDME-1988-Ruggles88a #formal method #standard
VDME-1988-Ruggles88a #formal method #standard