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 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