Registered user since Wed 18 Apr 2018

Name: Pedro da Rocha Pinto

Affiliation: Imperial College London

Contributions

ECOOP 2018Author of A Concurrent Specification of POSIX File Systems within the ECOOP Research Papers-track