COMP 4161: Advanced Topics in Software Verification
NICTA Advanced Course, Session 2/2013
There will be three written assignments during the course. Some of these will involve proofs in the Isabelle theorem prover. They will be made available from this page as the course progresses.
UNSW CRICOS Provider Code 00098G · Contact: