@inproceedings {267117, author = {David Cock}, title = {{Lyrebird{\textemdash}Assigning} Meanings to Machines}, booktitle = {5th International Workshop on Systems Software Verification (SSV 10)}, year = {2010}, address = {Vancouver, BC}, url = {https://www.usenix.org/conference/ssv10/lyrebird{\textemdash}assigning-meanings-machines}, publisher = {USENIX Association}, month = oct }