%0 Conference Paper %1 conf/memocode/XieSCN05 %A Xie, Fei %A Song, Xiaoyu %A Chung, Haera %A Nandi, Ranajoy %B MEMOCODE %D 2005 %I IEEE Computer Society %K dblp %P 111-120 %T Translation-based co-verification. %U http://dblp.uni-trier.de/db/conf/memocode/memocode2005.html#XieSCN05 %@ 0-7803-9227-2

@inproceedings{conf/memocode/XieSCN05, added-at = {2023-03-24T00:00:00.000+0100}, author = {Xie, Fei and Song, Xiaoyu and Chung, Haera and Nandi, Ranajoy}, biburl = {https://www.bibsonomy.org/bibtex/26a69256de159a02ee7dbefc45e19b12d/dblp}, booktitle = {MEMOCODE}, crossref = {conf/memocode/2005}, ee = {http://dl.acm.org/citation.cfm?id=1322150}, interhash = {3c02375ab213c8d7a794393787b253da}, intrahash = {6a69256de159a02ee7dbefc45e19b12d}, isbn = {0-7803-9227-2}, keywords = {dblp}, pages = {111-120}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T18:28:10.000+0200}, title = {Translation-based co-verification.}, url = {http://dblp.uni-trier.de/db/conf/memocode/memocode2005.html#XieSCN05}, year = 2005 }