ISE301: Formal foundations for information systems

Principal course resources

ISE301 course description

ISE301 course schedule