Used together with:
immut
(1)
guarante
(1)
granular
(1)
verifi
(1)
Stem
pimm$ (
all stems
)
1 papers:
PEPM-2014-CosteaSD
#named
#verification
HIPimm: verifying granular immutability guarantees (
AC
,
AS
,
CD
), pp. 189–194.
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
.
PEPM-2014-CosteaSD #named #verification
PEPM-2014-CosteaSD #named #verification