Cited By
View all- Mamouras K(2017)Equational Theories of Abnormal Termination Based on Kleene AlgebraProceedings of the 20th International Conference on Foundations of Software Science and Computation Structures - Volume 1020310.1007/978-3-662-54458-7_6(88-105)Online publication date: 22-Apr-2017
- Tan JTay HGandhi RNarasimhan P(2015)AUSPICERevised Selected Papers of the 7th International Conference on Verified Software: Theories, Tools, and Experiments - Volume 959310.1007/978-3-319-29613-5_12(202-222)Online publication date: 18-Jul-2015
- Delbianco GNanevski A(2013)Hoare-style reasoning with (algebraic) continuationsACM SIGPLAN Notices10.1145/2544174.250059348:9(363-376)Online publication date: 25-Sep-2013
- Show More Cited By