Cited By
View all- Jutla CRao J(2022)A methodology for designing proof rules for fair parallel programsFormal Aspects of Computing10.1007/BF012112969:4(359-378)Online publication date: 2-Jan-2022
- Apt KOlderog E(2021)Assessing the Success and Impact of Hoare’s LogicTheories of Programming10.1145/3477355.3477359(41-76)Online publication date: 4-Oct-2021
- Apt KOlderog E(2019)Fifty years of Hoare’s logicFormal Aspects of Computing10.1007/s00165-019-00501-331:6(751-807)Online publication date: 27-Nov-2019
- Show More Cited By