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