Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
didattica:ay2122:englishb2:main [2022/03/02 12:23] – [Exams] luca | didattica:ay2122:englishb2:main [2022/03/09 17:26] (current) – luca | ||
---|---|---|---|
Line 56: | Line 56: | ||
==== Textbooks ==== | ==== Textbooks ==== | ||
- | * Christel Baier, Joost-Pieter Katoen, | + | * Christel Baier, Joost-Pieter Katoen, |
+ | * Gerard J. Holzmann, "The SPIN model checker: Primer and Reference Manual", | ||
**Reference books** | **Reference books** |