BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
A.Niemetz M.Preiner A.Biere
Talks about:
btor (2) boolector (1)

Person: Clifford Wolf

DBLP DBLP: Wolf:Clifford

Contributed to:

CAV (1) 20182018

Wrote 1 papers:

Btor2 , BtorMC and Boolector 3.0 (AN, MP, CW, AB), pp. 587–595.

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.