Resources

The reference section of many research areas contains references to additional papers on Hoare. More information will be updated on this site.

Quote

There are two ways of constructing a software design: One way is to make it so simple that there are obviously no deficiencies, and the other way is to make it so complicated that there are no obvious deficiencies.