Assessing the Success and Impact of Hoare’s Logic
Book chapter (October 2021)
The most recent citing publications are shown below. View all 3 publications that cite this research output on Dimensions.
Book chapter (October 2021)
Article in eLife (August 2020)
Article in Formal Aspects of Computing (November 2019)