| Home | << 1 >> |
|
| Author | Title | Year | Publication | Publisher | ISSN | ISBN | DOI | Volume | Pages |
|---|---|---|---|---|---|---|---|---|---|
| Mancini, T.; Mari, F.; Massini, A.; Melatti, I.; Tronci, E. | SyLVaaS: System Level Formal Verification as a Service | 2016 | Fundamenta Informaticae | 10.3233/FI-2016-1444 | 149 | 101-132 |