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:
specif (1)
languag (1)
theorem (1)
prove (1)
obj (1)

Stem elio$ (all stems)

1 papers:

ESOPESOP-1992-Gnaedig #proving #specification #theorem proving
ELIOS-OBJ Theorem Proving in a Specification Language (IG), pp. 182–199.

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.