Probabilistic Aspects of Flash Filestores

  1. Lookup NU author(s)
  2. Dr Zoe Andrews
Author(s)Andrews ZH, McIver A, Meinicke L, Morgan C
Editor(s)Joshi, R., Margaria, T., Müller, P., Naumann, D., Yang, H.
Publication type Conference Proceedings (inc. Abstract)
Conference NameInternational Conference on Verified Software: Theories, Tools and Experiments
Conference LocationEdinburgh, UK
Year of Conference2010
Date16-19 August 2010
Volume
Pages
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
URLhttp://www.macs.hw.ac.uk/vstte10/Programme.html