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 × Sweden
Collaborated with:
M.Völter D.Ratiu
Talks about:
specif (1) mbeddr (1) domain (1) verif (1) autom (1)

Person: Zaur Molotnikov

DBLP DBLP: Molotnikov:Zaur

Contributed to:

ASE 20142014

Wrote 1 papers:

ASE-2014-MolotnikovVR #automation #c #verification
Automated domain-specific C verification with mbeddr (ZM, MV, DR), pp. 539–550.

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.