Program Verification and Semantics: Further Work - Photographs BCS-FACS

BCS Computer Conservation Society (CCS) & Formal Aspects of Computing Science (FACS) Specialist Groups


BCS Computer Conservation Society

Program Verification and Semantics: Further Work
Photographs


      Name                    Last modified       Size  Description

[DIR] Parent Directory 13-Sep-2005 19:08 - [IMG] cliff-jones-portrait..> 27-Feb-2005 23:43 20k [IMG] cliff-jones.jpg 27-Feb-2005 03:56 143k [IMG] cliff-jones2.jpg 27-Feb-2005 03:56 23k [IMG] cliff-jones3.jpg 27-Feb-2005 03:56 62k [IMG] delegates-small.jpg 27-Feb-2005 03:56 30k [IMG] delegates.jpg 27-Feb-2005 03:56 84k [IMG] early-documents.jpg 27-Feb-2005 03:56 265k [IMG] early-documents2.jpg 27-Feb-2005 03:57 375k [IMG] gordon-plotkin-portr..> 27-Feb-2005 03:57 19k [IMG] gordon-plotkin.jpg 27-Feb-2005 03:57 83k [IMG] gordon-plotkin2.jpg 27-Feb-2005 03:57 21k [IMG] gordon-plotkin3.jpg 27-Feb-2005 03:57 24k [IMG] gordon-plotkin4.jpg 27-Feb-2005 03:57 56k [IMG] john-reynolds-portra..> 27-Feb-2005 03:57 17k [IMG] john-reynolds.jpg 27-Feb-2005 03:57 51k [IMG] john-reynolds2.jpg 27-Feb-2005 03:57 39k [IMG] john-reynolds3.jpg 27-Feb-2005 03:57 13k [IMG] mosses-audience-smal..> 27-Feb-2005 03:57 36k [IMG] mosses-audience.jpg 27-Feb-2005 03:57 242k [IMG] plotkin-jones-reynol..> 27-Feb-2005 03:57 39k [IMG] plotkin-jones-reynol..> 27-Feb-2005 03:57 279k [IMG] plotkin-jones-reynol..> 27-Feb-2005 03:57 262k [IMG] plotkin-jones.jpg 27-Feb-2005 03:57 68k [IMG] roger-johnson.jpg 27-Feb-2005 03:57 22k

See Program Verification and Semantics: Further Work (2 December 2004).
Maintained by Jonathan Bowen
Last updated 27 February 2005