[All Kent teaching materials linked below are
GNU Copyleft the authors
– you are invited to use them for teaching or learning.
However, if you do, please give us some feedback.
Thanks, Peter Welch <email@example.com>.]
slides (PPT and PDF)
library for arcade games (HTML)
library for Midi and audio live mixing (HTML)
FDR – model checker for
(Updated 17th. May, 2012)