Program Verification and Semantics: Additional photographs



14:11:51


14:12:22


14:13:56


14:51:11


15:14:48


16:00:37


16:08:46


16:09:01


16:46:21


16:46:43


16:52:15


17:24:43


17:24:58


17:25:12


17:31:43


Photographs by John Hawkins, 6 June 2001
Installed by Jonathan Bowen