Su, W., Liu, Y., Ganesan, G., Holzmann, G., Kuenning, G., Smolka, S. A., & Zadok, E. (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. Ganesan
First name
G.
Last name
Ganesan