Travelled to:
1 × USA
Collaborated with:
∅
Talks about:
referenc
(1)
theori
(1)
massiv
(1)
cross
(1)
Person:
Dong-Keun Shin
DBLP: Shin:Dong=Keun
Contributed to:
1996
Wrote 1 papers:
SEKE-1996-Shin
#formal method
The Theory of Massive Cross-Referencing (
DKS
), pp. 454–552.
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
.