Used together with:
data
(1)
structur
(1)
consist
(1)
tool
(1)
verifi
(1)
Stem
hob$ (
all stems
)
1 papers:
CC-2005-LamKR
#consistency
#data type
#named
#verification
Hob: A Tool for Verifying Data Structure Consistency (
PL
,
VK
,
MCR
), pp. 237–241.
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
.