David Cock. Lyrebird - Assigning Meanings to Machines. In Ralf Huuck, Gerwin Klein, Bastian Schlich, editors, 5th International Workshop on Systems Software Verification, SSV'10, Vancouver, BC, Canada, October 6-7, 2010. USENIX Association, 2010. [doi]
@inproceedings{Cock10,
title = {Lyrebird - Assigning Meanings to Machines},
author = {David Cock},
year = {2010},
url = {https://www.usenix.org/conference/ssv10/lyrebird%E2%80%94assigning-meanings-machines},
researchr = {https://researchr.org/publication/Cock10},
cites = {0},
citedby = {0},
booktitle = {5th International Workshop on Systems Software Verification, SSV'10, Vancouver, BC, Canada, October 6-7, 2010},
editor = {Ralf Huuck and Gerwin Klein and Bastian Schlich},
publisher = {USENIX Association},
}