DrAzaleaRaad

Faculty of Engineering, Department of Computing

Senior Lecturer

Contact

+44 (0)20 7594 8271azalea.raad Website

Location

426Huxley BuildingSouth Kensington Campus

Summary

Publications

Citation

BibTex format

@inproceedings{Raad:2020,
author = {Raad, A and Berdine, J and Dang, H-H and Dreyer, D and O'Hearn, PW and Villard, J},
pages = {225--252},
publisher = {Springer},
title = {Local Reasoning About the Presence of Bugs: Incorrectness Separation Logic.},
url = {https://doi.org/10.1007/978-3-030-53291-8},
year = {2020}
}

Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AU  - Raad,A
AU  - Berdine,J
AU  - Dang,H-H
AU  - Dreyer,D
AU  - O'Hearn,PW
AU  - Villard,J
EP  - 252
PB  - Springer
PY  - 2020///
SP  - 225
TI  - Local Reasoning About the Presence of Bugs: Incorrectness Separation Logic.
UR  - https://doi.org/10.1007/978-3-030-53291-8
ER  -

Download