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

COMP6721 uses webCMS3 mainly for the course outline only.

Posted by Enzo Lee Solano 2 years ago, last modified 2 years ago.

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".)