Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Gian Ntzik
conf.researchr.org general profile
ECOOP and ISSTA 2018 profile
SPLASH 2015 profile
Not registered as user yet
Name:
Gian Ntzik
Affiliation:
Imperial College London
Contributions
2018
ECOOP
Author of A Concurrent Specification of POSIX File Systems within the ECOOP Research Papers-track
2015
SPLASH
Author of Reasoning about the POSIX File System: Local Update and Global Pathnames within the OOPSLA-track
Share
x
Thu 21 Nov 15:20