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

Collaborated with:
S.Bardin R.Bonichon M.Potet
Talks about:
quantifi (1) approach (1) generat (1) formula (1) taint (1) model (1) base (1)

Person: Benjamin Farinier

DBLP DBLP: Farinier:Benjamin

Contributed to:

CAV (2) 20182018

Wrote 1 papers:

CAV-2018-FarinierBBP #approach #generative #quantifier
Model Generation for Quantified Formulas: A Taint-Based Approach (BF, SB, RB, MLP), pp. 294–313.

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.