Paper presented at GandALF 2015

9 Oct, 2015 by Francesco Davì

---

Back to Calendar

Add to Calendar

• Add to Timely Calendar
• Add to Google
• Add to Outlook
• Add to Apple Calendar
• Add to other calendar

When:

22 September, 2015 all-day

2015-09-22T00:00:00+00:00

2015-09-23T00:00:00+00:00

The paper “Simulator Semantics for System Level Formal Verification” of Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti and Enrico Tronci has been presented at the Sixth International Symposium on Games, Automata, Logics and Formal Verification, Genova, Italy (GandALF 2015).

Full paper details are available here.

ArXived at: http://dx.doi.org/10.4204/EPTCS.193.7

 

---