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:
J.Hamza V.Kuncak
Talks about:
stainless (1) foundat (1) verifi (1) system (1) formal (1)

Person: Nicolas Voirol

DBLP DBLP: Voirol:Nicolas

Contributed to:

OOPSLA 20192019

Wrote 1 papers:

OOPSLA-2019-HamzaVK #verification
System FR: formalized foundations for the stainless verifier (JH, NV, VK), p. 30.
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.