Lyrebird—Assigning Meanings to Machines

Abstract: 
BibTeX
@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,
}