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