Used together with:
verif
(1)
need
(1)
statement
(1)
die
(1)
not
(1)
Stem
tamagotchi$ (
all stems
)
1 papers:
TACAS-1998-BrockmeyerW
#design
#verification
Tamagotchis Need Not Die — Verification of STATEMENT Design (
UB
,
GW
), pp. 217–231.
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
.
TACAS-1998-BrockmeyerW #design #verification
TACAS-1998-BrockmeyerW #design #verification