Formalization of the DE2 Language

Warren A. Hunt Jr., Erik Reeber. Formalization of the DE2 Language. In Dominique Borrione, Wolfgang J. Paul, editors, Correct Hardware Design and Verification Methods, 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbr├╝cken, Germany, October 3-6, 2005, Proceedings. Volume 3725 of Lecture Notes in Computer Science, pages 20-34, Springer, 2005. [doi]

@inproceedings{HuntR05,
  title = {Formalization of the DE2 Language},
  author = {Warren A. Hunt Jr. and Erik Reeber},
  year = {2005},
  doi = {10.1007/11560548_5},
  url = {http://dx.doi.org/10.1007/11560548_5},
  researchr = {https://researchr.org/publication/HuntR05},
  cites = {0},
  citedby = {0},
  pages = {20-34},
  booktitle = {Correct Hardware Design and Verification Methods, 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbr├╝cken, Germany, October 3-6, 2005, Proceedings},
  editor = {Dominique Borrione and Wolfgang J. Paul},
  volume = {3725},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-29105-9},
}