Used together with:
fix
(2)
vector
(1)
size
(1)
non
(1)
bit
(1)
Stem
deid$ (
all stems
)
1 papers:
TACAS-1998-BjornerP
Deiding Fixed and Non-fixed Size Bit-vectors (
NB
,
MCP
), pp. 376–392.
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
.