Skip Navigation
York U: Redefine the PossibleHOME | Current Students | Faculty & Staff | Research | International
Search »FacultiesLibrariesCampus MapsYork U OrganizationDirectorySite Index
Future Students, Alumni & Visitors
Weekly Calendar

This shows you the differences between two versions of the page.

calendar [2017/04/03 14:18]
franck
calendar [2017/04/04 21:42] (current)
franck
Line 220: Line 220:
//Title:// Model Checking versus Theorem Proving\\ //Title:// Model Checking versus Theorem Proving\\
-//Slides:// \\+//Slides:// {{:public:lecture24.pdf|lecture24.pdf}}\\
//Quiz:// [[quiz6|Quiz 6]] //Quiz:// [[quiz6|Quiz 6]]
Last modified:
2017/04/04 21:42