Cited By
View all- Woodcock J(2021)Hoare and He’s Unifying Theories of ProgrammingTheories of Programming10.1145/3477355.3477369(285-316)Online publication date: 4-Oct-2021
- Furusawa HStruth G(2016)Taming MultirelationsACM Transactions on Computational Logic10.1145/296490717:4(1-34)Online publication date: 11-Nov-2016
- Cavalcanti AMota AWoodcock J(2013)Simulink timed models for program verificationTheories of Programming and Formal Methods10.5555/2554641.2554647(82-99)Online publication date: 1-Jan-2013
- Show More Cited By