Collaborated with:
A.Igarashi
Talks about:
nondeterminist
(1)
manifest
(1)
contract
(1)
Person:
Yuki Nishida 0001
DBLP: 0001:Yuki_Nishida
Contributed to:
2018
Wrote 1 papers:
PPDP-2018-NishidaI
#contract
#nondeterminism
Nondeterministic Manifest Contracts (
YN0
,
AI
), p. 13.
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
.