Brian Chess. Improving Computer Security Using Extended Static Checking. In IEEE Symposium on Security and Privacy. pages 160, 2002. [doi]
@inproceedings{Chess02, title = {Improving Computer Security Using Extended Static Checking}, author = {Brian Chess}, year = {2002}, url = {http://computer.org/proceedings/sp/1543/15430160abs.htm}, tags = {security}, researchr = {https://researchr.org/publication/Chess02}, cites = {0}, citedby = {0}, pages = {160}, booktitle = {IEEE Symposium on Security and Privacy}, }