| Home | << 1 >> |
|
| Author | Title | Year | Publication | Volume | Pages |
|---|---|---|---|---|---|
| Mancini, T.; Mari, F.; Massini, A.; Melatti, I.; Tronci, E. | Simulator Semantics for System Level Formal Verification | 2015 | Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2015), |