%0 Conference Paper %1 conf/tpcd/BoultonGGHHT92 %A Boulton, Richard J. %A Gordon, Andrew D. %A Gordon, Michael J. C. %A Harrison, John %A Herbert, John %A Tassel, John Van %B TPCD %D 1992 %E Stavridou, Victoria %E Melham, Thomas F. %E Boute, Raymond T. %I North-Holland %K dblp %P 129-156 %T Experience with Embedding Hardware Description Languages in HOL. %U http://dblp.uni-trier.de/db/conf/tpcd/tpcd1992.html#BoultonGGHHT92 %V A-10 %@ 0-444-89686-4

@inproceedings{conf/tpcd/BoultonGGHHT92, added-at = {2022-02-14T00:00:00.000+0100}, author = {Boulton, Richard J. and Gordon, Andrew D. and Gordon, Michael J. C. and Harrison, John and Herbert, John and Tassel, John Van}, biburl = {https://www.bibsonomy.org/bibtex/26d9b05ee7ff352fba117ce184d370e3c/dblp}, booktitle = {TPCD}, crossref = {conf/tpcd/1992}, editor = {Stavridou, Victoria and Melham, Thomas F. and Boute, Raymond T.}, interhash = {895fc93c7b2fac404a5b324592254c4f}, intrahash = {6d9b05ee7ff352fba117ce184d370e3c}, isbn = {0-444-89686-4}, keywords = {dblp}, pages = {129-156}, publisher = {North-Holland}, series = {IFIP Transactions}, timestamp = {2024-04-10T20:35:22.000+0200}, title = {Experience with Embedding Hardware Description Languages in HOL.}, url = {http://dblp.uni-trier.de/db/conf/tpcd/tpcd1992.html#BoultonGGHHT92}, volume = {A-10}, year = 1992 }