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: Bersani:Marcello_Maria
Contributed to:
Wrote 1 papers:
- FASE-2014-BersaniBGKP #smt
- SMT-Based Checking of SOLOIST over Sparse Traces (MMB, DB, CG, SK, PSP), pp. 276–290.