BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
space (1)
undirect (1)
connect (1)
off (1)
tempor (1)

Stem jag$ (all stems)

2 papers:

FASEFASE-2006-GiorgettiG #generative #ml #named #verification
JAG: JML Annotation Generation for Verifying Temporal Properties (AG, JG), pp. 373–376.
STOCSTOC-1993-Edmonds #trade-off
Time-space trade-offs for undirected st-connectivity on a JAG (JE), pp. 718–727.
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.