Used together with:
observ
(1)
verif
(1)
program
(1)
disjoint
(1)
disciplin
(1)
Stem
backpoint$ (
all stems
)
1 papers:
ESOP-2013-KassiosK
#verification
A Discipline for Program Verification Based on Backpointers and Its Use in Observational Disjointness (
ITK
,
EK
), pp. 149–168.
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
.