%0 Conference Paper %1 conf/sp/Chess02 %A Chess, Brian %B S&P %D 2002 %I IEEE Computer Society %K dblp %P 160-173 %T Improving Computer Security Using Extended Static Checking. %U http://dblp.uni-trier.de/db/conf/sp/sp2002.html#Chess02 %@ 0-7695-1543-6

@inproceedings{conf/sp/Chess02, added-at = {2023-09-21T00:00:00.000+0200}, author = {Chess, Brian}, biburl = {https://www.bibsonomy.org/bibtex/234fdeaa04bf33f966921e05dd5188b6f/dblp}, booktitle = {S&P}, crossref = {conf/sp/2002}, ee = {https://doi.ieeecomputersociety.org/10.1109/SECPRI.2002.1004369}, interhash = {4c32d0d697566c1a1eb19b17c5f5fba4}, intrahash = {34fdeaa04bf33f966921e05dd5188b6f}, isbn = {0-7695-1543-6}, keywords = {dblp}, pages = {160-173}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T00:01:56.000+0200}, title = {Improving Computer Security Using Extended Static Checking.}, url = {http://dblp.uni-trier.de/db/conf/sp/sp2002.html#Chess02}, year = 2002 }