%0 Conference Paper %1 conf/fccm/RossB06 %A Ross, Charlie %A Böhm, A. P. Wim %B FCCM %D 2006 %I IEEE Computer Society %K dblp %P 317-318 %T A Co-Verification Tool for a High Level Language Compiler for FPGAs. %U http://dblp.uni-trier.de/db/conf/fccm/fccm2006.html#RossB06 %@ 0-7695-2661-6

@inproceedings{conf/fccm/RossB06, added-at = {2023-03-24T00:00:00.000+0100}, author = {Ross, Charlie and Böhm, A. P. Wim}, biburl = {https://www.bibsonomy.org/bibtex/2038a584da86979d98c190290cfb18a9e/dblp}, booktitle = {FCCM}, crossref = {conf/fccm/2006}, ee = {https://doi.ieeecomputersociety.org/10.1109/FCCM.2006.6}, interhash = {e7286e0012f9e19b43c33503b3372d7e}, intrahash = {038a584da86979d98c190290cfb18a9e}, isbn = {0-7695-2661-6}, keywords = {dblp}, pages = {317-318}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T12:36:08.000+0200}, title = {A Co-Verification Tool for a High Level Language Compiler for FPGAs.}, url = {http://dblp.uni-trier.de/db/conf/fccm/fccm2006.html#RossB06}, year = 2006 }