Used together with:
infer
(1)
smt
(1)
architectur
(1)
Stem
etb$ (
all stems
)
1 papers:
SMT-2012-Shankar
#architecture
#smt
The Architecture of Inference from SMT to ETB (
NS
), p. 2.
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
.