BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
formal (1)
lightweight (1)
method (1)
tool (1)
vdm (1)

Stem ifad$ (all stems)

1 papers:

FMFM-1998-AgerholmL98a #formal method #lightweight #tool support
The IFAD VDM Tools: Lightweight Formal Methods (SA, PGL), pp. 326–329.

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.