Pages that link to "Item:Q3314973"
From MaRDI portal
The following pages link to Specification of the UNIX Filing System (Q3314973):
Displayed 6 items.
- Mechanising a formal model of flash memory (Q1004295) (← links)
- POSIX file store in Z/Eves: An experiment in the verified software repository (Q1004296) (← links)
- The programming language C and the operating system UNIX (Q1094863) (← links)
- Query languages for hierarchic databases (Q1201723) (← links)
- An approach to literate and structured formal developments (Q1911317) (← links)
- A mini challenge: build a verifiable filesystem (Q2643130) (← links)