Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:conf/tpcd/BoultonGGHHT92,
  author       = {Richard J. Boulton and
                  Andrew D. Gordon and
                  Michael J. C. Gordon and
                  John Harrison and
                  John Herbert and
                  John Van Tassel},
  title        = {Experience with Embedding Hardware Description Languages in {HOL}},
  booktitle    = {Theorem Provers in Circuit Design, Proceedings of the {IFIP} {TC10/WG}
                  10.2 International Conference on Theorem Provers in Circuit Design:
                  Theory, Practice and Experience, Nijmegen, The Netherlands, 22-24
                  June 1992, Proceedings},
  pages        = {129--156},
  year         = {1992},
  crossref     = {DBLP:conf/tpcd/1992},
  timestamp    = {Mon, 14 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tpcd/BoultonGGHHT92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/tpcd/1992,
  editor       = {Victoria Stavridou and
                  Thomas F. Melham and
                  Raymond T. Boute},
  title        = {Theorem Provers in Circuit Design, Proceedings of the {IFIP} {TC10/WG}
                  10.2 International Conference on Theorem Provers in Circuit Design:
                  Theory, Practice and Experience, Nijmegen, The Netherlands, 22-24
                  June 1992, Proceedings},
  series       = {{IFIP} Transactions},
  volume       = {{A-10}},
  publisher    = {North-Holland},
  year         = {1992},
  isbn         = {0-444-89686-4},
  timestamp    = {Wed, 22 May 2024 03:03:04 +0200},
  biburl       = {https://dblp.org/rec/conf/tpcd/1992.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}