%0 Conference Paper %1 conf/ccs/ChenS04 %A Chen, Hao %A Shapiro, Jonathan S. %B CCS %D 2004 %E Atluri, Vijayalakshmi %E Pfitzmann, Birgit %E McDaniel, Patrick D. %I ACM %K dblp %P 288-297 %T Using build-integrated static checking to preserve correctness invariants. %U http://dblp.uni-trier.de/db/conf/ccs/ccs2004p.html#ChenS04 %@ 1-58113-961-6

@inproceedings{conf/ccs/ChenS04, added-at = {2020-11-13T00:00:00.000+0100}, author = {Chen, Hao and Shapiro, Jonathan S.}, biburl = {https://www.bibsonomy.org/bibtex/27950fff3aa1b3866f2123b59adb1fc56/dblp}, booktitle = {CCS}, crossref = {conf/ccs/2004ccs}, editor = {Atluri, Vijayalakshmi and Pfitzmann, Birgit and McDaniel, Patrick D.}, ee = {https://doi.org/10.1145/1030083.1030122}, interhash = {384f5a7205216d677489070ae30da1d6}, intrahash = {7950fff3aa1b3866f2123b59adb1fc56}, isbn = {1-58113-961-6}, keywords = {dblp}, pages = {288-297}, publisher = {ACM}, timestamp = {2020-11-14T11:35:13.000+0100}, title = {Using build-integrated static checking to preserve correctness invariants.}, url = {http://dblp.uni-trier.de/db/conf/ccs/ccs2004p.html#ChenS04}, year = 2004 }