BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
Collaborated with:
T.Lev-Ami T.W.Reps M.Sagiv
Talks about:
parametr (1) competit (1) analysi (1) revamp (1) shape (1) tvla (1) make (1)

Person: Igor Bogudlov

DBLP DBLP: Bogudlov:Igor

Contributed to:

CAV 20072007

Wrote 1 papers:

CAV-2007-BogudlovLRS #analysis #parametricity
Revamping TVLA: Making Parametric Shape Analysis Competitive (IB, TLA, TWR, MS), pp. 221–225.

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.