SPLASH 2015 (series) / Gian Ntzik
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
View general profile