Used together with:
independ
(1)
monad
(1)
hoar
(1)
logic
(1)
Stem
hascasl$ (
all stems
)
1 papers:
FASE-2003-SchroderM
#hoare
#independence
#logic
Monad-Independent Hoare Logic in HASCASL (
LS
,
TM
), pp. 261–277.
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
.
FASE-2003-SchroderM #hoare #independence #logic
FASE-2003-SchroderM #hoare #independence #logic