Ayesha Sadiq, Yuan-Fang Li, Sea Ling. A survey on the use of access permission-based specifications for program verification. Journal of Systems and Software, 159, 2020. [doi]
@article{SadiqLL20,
title = {A survey on the use of access permission-based specifications for program verification},
author = {Ayesha Sadiq and Yuan-Fang Li and Sea Ling},
year = {2020},
doi = {10.1016/j.jss.2019.110450},
url = {https://doi.org/10.1016/j.jss.2019.110450},
researchr = {https://researchr.org/publication/SadiqLL20},
cites = {0},
citedby = {0},
journal = {Journal of Systems and Software},
volume = {159},
}