1. Resources
  2. Lectures
  3. Week 1
  4. Lecture 1: Course Introduction

Lecture 1: Course Introduction

View in browser Download

Resource created Tuesday 16 September 2025, 07:45:17 AM, last modified Tuesday 16 September 2025, 11:52:59 AM.

file: lecture01.pdf

Back to top

COMP3153/COMP9153 25T3 (Algorithmic Verification) is powered by WebCMS3
CRICOS Provider No. 00098G