Reasoning about the POSIX file system: local update and global pathnames.

Gian Ntzik, Philippa Gardner

Browse the full OOPSLA paper archive.