Matt Bishop, Brian Hay, Kara L. Nance. Applying Formal Methods Informally. In 44th Hawaii International International Conference on Systems Science (HICSS-44 2011), Proceedings, 4-7 January 2011, Koloa, Kauai, HI, USA. pages 1-8, IEEE Computer Society, 2011. [doi]
@inproceedings{BishopHN11,
title = {Applying Formal Methods Informally},
author = {Matt Bishop and Brian Hay and Kara L. Nance},
year = {2011},
doi = {10.1109/HICSS.2011.71},
url = {http://dx.doi.org/10.1109/HICSS.2011.71},
researchr = {https://researchr.org/publication/BishopHN11},
cites = {0},
citedby = {0},
pages = {1-8},
booktitle = {44th Hawaii International International Conference on Systems Science (HICSS-44 2011), Proceedings, 4-7 January 2011, Koloa, Kauai, HI, USA},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-4282-9},
}