Tony Hoare - Program Verification and Semantics: The Early Work
Computer Conservation Society presentation by Sir Tony Hoare on 5th June 2001. Program Verification and Semantics: The Early Work NO AUDIO until question tim...
Ian Hayes
23 views • Jun 30, 2025
About this video
Computer Conservation Society presentation by Sir Tony Hoare on 5th June 2001. Program Verification and Semantics: The Early Work NO AUDIO until question time at 00:49:10.
Video Information
Views
23
Duration
56:45
Published
Jun 30, 2025
Related Trending Topics
LIVE TRENDSRelated trending topics. Click any trend to explore more videos.
Trending Now