Cited By
View all- Gleirscher Mvan de Pol JWoodcock J(2023)A manifesto for applicable formal methodsSoftware and Systems Modeling (SoSyM)10.1007/s10270-023-01124-222:6(1737-1749)Online publication date: 1-Dec-2023
- Jones C(2021)List of Tony Hoare’s PublicationsTheories of Programming10.1145/3477355.3477375(395-410)Online publication date: 4-Oct-2021
- Woodcock JBarnes JChapman RFoster SSanten T(2021)Verification in the Grand ChallengeTheories of Programming10.1145/3477355.3477363(125-156)Online publication date: 4-Oct-2021
- Show More Cited By