Cited By
View all- Chen W(2023)Weakest preconditioned goto axiomInformation Processing Letters10.1016/j.ipl.2022.106329180:COnline publication date: 1-Feb-2023
- Chen W(2021)Behind Clint and Hoare’s goto Proof Rule2021 International Symposium on Theoretical Aspects of Software Engineering (TASE)10.1109/TASE52547.2021.00021(23-30)Online publication date: Aug-2021
- Lundberg DGuanciale RLindner ADam M(2020)Hoare-Style Logic for Unstructured ProgramsSoftware Engineering and Formal Methods10.1007/978-3-030-58768-0_11(193-213)Online publication date: 14-Sep-2020
- Show More Cited By