Presentation title

MCLab, Model Checking Lab

Authors

Toni Mancini, Igor Melatti and Enrico Tronci

Institution(s)

Sapienza University of Rome

Presentation type

Presentation of a research group from one or more scientific institutions

Abstract

Presentation of Model Checking Lab of Sapienza University of Rome.

---

Additional material

• Presentation slides: [pdf]

For more details on this presentation please click the button below: