@inproceedings{107,
  author = {W. Su and Y. Liu and G. Ganesan and G. Holzmann and G. Kuenning and S. Smolka and E. Zadok},
  title = {Model-Checking Support for File System Development},
  year = {2021},
  journal = {Proceeding of HotStorage ’21, the 13th ACM Workshop on Hot Topics in Storage and File Systems},
  month = {07/2021},
  language = {eng},
}