I watched this video a few months ago. Virtual HLF 2020 – Scientific Dialogue: Sir C. Antony R. Hoare/Leslie Lamport https://www.youtube.com/watch?v=wQbFkAkTh

I watched this video a few months ago. Virtual HLF 2020 – Scientific Dialogue: Sir C. Antony R. Hoare/Leslie Lamport https://www.youtube.com/watch?v=wQbFkAkThGk https://www.youtube.com/watch?v=wQbFkAkThGk