Cited By
View all- Bodenmüller SSchellhorn GReif W(2022)Verification of Crashsafe Caching in a Virtual File System SwitchFormal Aspects of Computing10.1145/352373734:1(1-33)Online publication date: 5-Jul-2022
- Woodcock J(2021)Hoare and He’s Unifying Theories of ProgrammingTheories of Programming10.1145/3477355.3477369(285-316)Online publication date: 4-Oct-2021
- Ernst GPfähler JSchellhorn GReif W(2015)Inside a Verified Flash File SystemRevised Selected Papers of the 7th International Conference on Verified Software: Theories, Tools, and Experiments - Volume 959310.1007/978-3-319-29613-5_5(73-93)Online publication date: 18-Jul-2015
- Show More Cited By