BibTex format
@article{Gardner:2017:10.1098/rsta.2015.0408,
author = {Gardner, P},
doi = {10.1098/rsta.2015.0408},
journal = {Philosophical Transactions of the Royal Society A. Mathematical, Physical and Engineering Sciences},
title = {Verified trustworthy software systems},
url = {http://dx.doi.org/10.1098/rsta.2015.0408},
volume = {375},
year = {2017}
}