(In-)Formal Methods: The Lost Art COMP6721 22T2

Notices

  • Welcome to COMP6721 for 2022!

    Posted by Carroll Morgan Monday 23 May 2022, 01:50:32 PM, last modified Wednesday 08 June 2022, 11:54:43 AM.

    Please check the course webpage for information that is not given here.

Upcoming Due Dates

There is nothing due!

Back to top

COMP6721 22T2 ((In-)Formal Methods: The Lost Art) is powered by WebCMS3
CRICOS Provider No. 00098G