Formalizing a Hierarchical File System
From MaRDI portal
Publication:2994491
DOI10.1016/j.entcs.2009.12.018zbMath1342.68063OpenAlexW2139015511MaRDI QIDQ2994491
Publication date: 1 August 2016
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2009.12.018
Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)
Related Items
Uses Software
Cites Work