BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Collaborated with:
V.Vojdani K.Apinis H.Seidl V.Vene R.Vogler
Talks about:
approach (1) goblint (1) static (1) driver (1) detect (1) devic (1) race (1)

Person: Vootele Rõtov

DBLP DBLP: R=otilde=tov:Vootele

Contributed to:

ASE 20162016

Wrote 1 papers:

ASE-2016-VojdaniARSVV #approach #concurrent #detection
Static race detection for device drivers: the Goblint approach (VV, KA, VR, HS, VV, RV), pp. 391–402.
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.