%0 Conference Paper %1 conf/ndss/ChenDW04 %A Chen, Hao %A Dean, Drew %A Wagner, David A. %B NDSS %D 2004 %I The Internet Society %K dblp %T Model Checking One Million Lines of C Code. %U http://dblp.uni-trier.de/db/conf/ndss/ndss2004.html#ChenDW04 %@ 1-891562-17-7

@inproceedings{conf/ndss/ChenDW04, added-at = {2021-02-01T00:00:00.000+0100}, author = {Chen, Hao and Dean, Drew and Wagner, David A.}, biburl = {https://www.bibsonomy.org/bibtex/2612a9875a5d6ae7bb7cca8b86111b4b6/dblp}, booktitle = {NDSS}, crossref = {conf/ndss/2004}, ee = {https://www.ndss-symposium.org/ndss2004/model-checking-one-million-lines-c-code/}, interhash = {e7125b05ff5abddd7abeac8cf4efaf02}, intrahash = {612a9875a5d6ae7bb7cca8b86111b4b6}, isbn = {1-891562-17-7}, keywords = {dblp}, publisher = {The Internet Society}, timestamp = {2024-04-09T15:57:50.000+0200}, title = {Model Checking One Million Lines of C Code.}, url = {http://dblp.uni-trier.de/db/conf/ndss/ndss2004.html#ChenDW04}, year = 2004 }