calendar
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | Last revisionBoth sides next revision | ||
calendar [2017/03/31 02:02] – franck | calendar [2017/04/03 18:18] – franck | ||
---|---|---|---|
Line 220: | Line 220: | ||
//Title:// Model Checking versus Theorem Proving\\ | //Title:// Model Checking versus Theorem Proving\\ | ||
- | //Reading material:// [[http:// | ||
//Slides:// \\ | //Slides:// \\ | ||
- | //Code:// | ||
//Quiz:// [[quiz6|Quiz 6]] | //Quiz:// [[quiz6|Quiz 6]] | ||
calendar.txt · Last modified: 2017/04/05 01:42 by franck