Travelled to:
1 × Denmark
Collaborated with:
B.Sterin
S.Ur
Talks about:
analysi
(1)
improv
(1)
cover
(1)
Person:
Gil Ratsaby
DBLP: Ratsaby:Gil
Contributed to:
2002
Wrote 1 papers:
FME-2002-RatsabySU
#analysis
Improvements in Coverability Analysis (
GR
,
BS
,
SU
), pp. 41–56.
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
.