PT Journal
AU Mancini, T
   Mari, F
   Massini, A
   Melatti, I
   Tronci, E
TI SyLVaaS: System Level Formal Verification as a Service
SO Fundamenta Informaticae
PY 2016
BP 101
EP 132
VL 149
IS 1-2
DI 10.3233/FI-2016-1444
ER