Used together with:
specif
(1)
audit
(1)
write
(1)
special
(1)
Stem
simulat$ (
all stems
)
2 papers:
PODS-2005-KenthapadiMN
Simulatable auditing (
KK
,
NM
,
KN
), pp. 118–127.
FM-1979-LevittRS
#specification
Writing Simulatable Specifications in SPECIAL (
KNL
,
LR
,
BAS
), pp. 39–78.
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
.