Local Reasoning for the POSIX File System.

Philippa Gardner, Gian Ntzik, Adam Wright

Browse the full ESOP paper archive.