Local Reasoning for the POSIX File System

File(s)

esop2014.pdf (729.91 KB)

Accepted version

Show more

Author(s)

Gardner, P

Ntzik, G

Wright, A

Type

Conference Paper

Editor(s)

Shao, Z

Date Issued

2014-04

Citation

2014

URI

http://hdl.handle.net/10044/1/23833

DOI

https://www.dx.doi.org/10.1007/978-3-642-54833-8_10

ISBN

978-3-642-54832-1

ISSN

0302-9743

Publisher

Springer-Verlag Berlin

Journal / Book Title

Lecture Notes in Computer Science

Volume

8410

Copyright Statement

© Springer-Verlag Berlin Heidelberg 2014. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-54833-8_10

License URL

http://www.rioxx.net/licenses/all-rights-reserved

Description

16.06.15 KB. OK to add accepted version subject to 12 months embargo, now expired.

Source

23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014

Start Date

2014-04-05

Finish Date

2014-04-13

Coverage Spatial

Grenoble, France