ProfessorPhilippaGardner

Faculty of Engineering, Department of Computing

Professor of Theoretical Computer Science

Contact

+44 (0)20 7594 8292p.gardner Website

Location

453Huxley BuildingSouth Kensington Campus

Summary

Publications

Citation

BibTex format

@inproceedings{Gardner:2014:10.1007/978-3-642-54833-8_10,
author = {Gardner, P and Ntzik, G and Wright, A},
doi = {10.1007/978-3-642-54833-8_10},
title = {Local Reasoning for the POSIX File System},
url = {http://dx.doi.org/10.1007/978-3-642-54833-8_10},
year = {2014}
}

Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AU  - Gardner,P
AU  - Ntzik,G
AU  - Wright,A
DO  - 10.1007/978-3-642-54833-8_10
PY  - 2014///
TI  - Local Reasoning for the POSIX File System
UR  - http://dx.doi.org/10.1007/978-3-642-54833-8_10
UR  - http://hdl.handle.net/10044/1/23833
ER  -

Download