didattica:ay2122:englishb2:main

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revisionBoth sides next revision
didattica:ay2122:englishb2:main [2022/03/02 12:22] – [Material] lucadidattica:ay2122:englishb2:main [2022/03/02 12:22] – [Material] luca
Line 86: Line 86:
     * [[https://sourceforge.net/projects/redlib/|RED Model Checker]]     * [[https://sourceforge.net/projects/redlib/|RED Model Checker]]
  
-=== Slides, Codes and Exercises ===+==== Slides, Codes and Exercises ====
  
 All this material is accessible through the **Google Classroom** platform: [[https://classroom.google.com/c/NDU5OTY0NjM2MTE2?cjc=6meqjg2]] (login with @studenti.unicam.it credentials) All this material is accessible through the **Google Classroom** platform: [[https://classroom.google.com/c/NDU5OTY0NjM2MTE2?cjc=6meqjg2]] (login with @studenti.unicam.it credentials)
  • didattica/ay2122/englishb2/main.txt
  • Last modified: 2022/03/09 17:26
  • by luca