MCLab Model Checking Laboratory

  • Skip to content
  • Jump to main navigation and login

Nav view search

Navigation

  • Home
  • Events
  • News
  • Research
  • Software
  • Publications
  • Projects
  • Team
  • MCLab Reading Group

Search

You are here: Home MCLab Reading Group

MCLab Reading Group

This page contains the list of MCLab Reading Group activities. For any information about the MCLab Reading Group please contact: This email address is being protected from spambots. You need JavaScript enabled to view it.

 

Display # 
Lunch Seminar: Thursday, 20th November 2014, 1:00 pm, Seminars Room, Computer Science Department, Sapienza University of Rome 25 November 2014

© Model Checking Group - Dipartimento di Informatica, Sapienza Università di Roma