Alex Simpson, editor, International Workshop on Proof Systems for Program Logics, PSPL 2010, Edinburgh, Scotland, UK, July 10, 2010. Volume 12 of EPiC Series, EasyChair, 2013. [doi]
Conference: lics2013
@proceedings{lics-2010pspl,
title = {International Workshop on Proof Systems for Program Logics, PSPL 2010, Edinburgh, Scotland, UK, July 10, 2010},
year = {2013},
url = {http://www.easychair.org/publications/?page=181914752},
researchr = {https://researchr.org/publication/lics-2010pspl},
cites = {0},
citedby = {0},
booktitle = {International Workshop on Proof Systems for Program Logics, PSPL 2010, Edinburgh, Scotland, UK, July 10, 2010},
conference = {lics},
editor = {Alex Simpson},
volume = {12},
series = {EPiC Series},
publisher = {EasyChair},
}