Peter Landin talk at The Science Museum, 5 June, 2001

Name: Peter Landin talk at The Science Museum, 5 June, 2001
Uploaded: 2010-01-24T22:12:08+00:00
Duration: 29 min 19 s
Channel: Paul Boca
Description: Peter Landin's talk at Program Verification and Semantics: The Early Work, BCS Computer Conservation Society seminar, Science Museum, London, UK, 5 June 2001

Peter Landin's talk at Program Verification and Semantics: The Early Work, BCS Computer Conservation Society seminar, Science Museum, London, UK, 5 June 2001