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 × France
Collaborated with:
D.Bianculli C.Ghezzi S.Krstic P.S.Pietro
Talks about:
soloist (1) trace (1) spars (1) check (1) base (1) smt (1)

Person: Marcello Maria Bersani

DBLP DBLP: Bersani:Marcello_Maria

Contributed to:

FASE 20142014

Wrote 1 papers:

FASE-2014-BersaniBGKP #smt
SMT-Based Checking of SOLOIST over Sparse Traces (MMB, DB, CG, SK, PSP), pp. 276–290.

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.