. (2021). Model-Checking Support for File System Development. Proceeding of HotStorage ’21, the 13th ACM Workshop on Hot Topics in Storage and File Systems. Presented at the. (Original work published 2021)
G. Kuenning
First name
G.
Last name
Kuenning