Not registered as user yet

Name: Gian Ntzik

Affiliation: Imperial College London, UK

Contributions

SPLASH 2015 Reasoning about the POSIX File System: Local Update and Global Pathnames
Show activities from other conferences

SPLASH 2015-profile
View general profile