Transcripts — Tony Hoare

Profile

Tony Hoare (C. A. R. Hoare): born 1934; UK.

Related theorems

• Hoare logic

Pages

• Person: Tony Hoare
• Journey: Tony Hoare
• Transcripts: Tony Hoare

Explore

• Dashboard
• Theorems
• Frameworks
• Lineage
• People