(In-)Formal Methods --- the lost art COMP6721 23T2

COMP6721 uses webCMS3 mainly for the course outline only.

Posted by Enzo Lee Solano Friday 19 May 2023, 12:55:57 PM, last modified Saturday 20 May 2023, 01:02:46 PM.

Here the course outline can be found; but assignments, quizzes, submission procedures are all done via Moodle, at

https://moodle.telt.unsw.edu.au/course/view.php?id...

(In particular, for this course, homework submissions are not via "give".)