Video of Inaugural Lecture
Safe and Secure Software Systems - An Automated Reasoning Perspective
Professor Andrew Ireland
Windows WMV format:
Front row view
Windows WMV format:
Back row view
QuickTime MOV format:
Part 1
Part 2
Part 3
Part 4
Part 5
Part 6
Part 7
(front row view)