Differences

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

--- syllabus [2020/01/01 22:28] – franck
+++ syllabus [2020/02/05 01:21] (current) – franck
@@ Line 39: / Line 39: @@
   * Christel Baier and Joost-Pieter Katoen.  //Principles of Model Checking.//  The MIT Press.  2008.
 Also the notes
-  * Franck van Breugel.  //{{:notes.pdf|Java PathFinder: a tool to detect bugs in Java code}}.//  2019.
+  * Franck van Breugel.  //{{:notes.pdf|Java PathFinder: a tool to detect bugs in Java code}}.//  2020.
 will be used.  Additional reading material will be provided on this course wiki.
@@ Line 65: / Line 65: @@
 ====== Project ======
-Very brief descriptions of the last four years' projects can be found [[projects|here]].  A sample of a draft proposal can be found {{draftproposal.pdf|here}}.
+Very brief descriptions of the last four years' projects can be found [[projects|here]].  A sample of a draft proposal can be found {{draft.pdf|here}}.
 ====== Academic Honesty ======