calendar
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
calendar [2017/03/31 00:12] – franck | calendar [2017/04/05 01:42] (current) – franck | ||
---|---|---|---|
Line 210: | Line 210: | ||
//Title:// Computation Tree Logic\\ | //Title:// Computation Tree Logic\\ | ||
//Reading material:// \\ | //Reading material:// \\ | ||
- | // | + | // |
===== April 3 ===== | ===== April 3 ===== | ||
Line 220: | Line 220: | ||
//Title:// Model Checking versus Theorem Proving\\ | //Title:// Model Checking versus Theorem Proving\\ | ||
- | //Reading material:// [[http:// | + | //Slides:// {{:public: |
- | //Slides:// \\ | + | |
- | //Code:// | + | |
//Quiz:// [[quiz6|Quiz 6]] | //Quiz:// [[quiz6|Quiz 6]] | ||
calendar.1490919136.txt.gz · Last modified: 2017/03/31 00:12 by franck