Catia M. Angelo, Luc J. M. Claesen, Hugo De Man. The Formal Semantics Definition of a Multi-Rate DSP Specification Language in HOL. In Luc J. M. Claesen, Michael J. C. Gordon, editors, Higher Order Logic Theorem Proving and its Applications, Proceedings of the IFIP TC10/WG10.2 Workshop HOL 92, Leuven, Belgium, 21-24 September 1992. Volume A-20 of IFIP Transactions, pages 375-394, North-Holland/Elsevier, 1992.
@inproceedings{AngeloCM92, title = {The Formal Semantics Definition of a Multi-Rate DSP Specification Language in HOL}, author = {Catia M. Angelo and Luc J. M. Claesen and Hugo De Man}, year = {1992}, tags = {semantics, formal semantics}, researchr = {https://researchr.org/publication/AngeloCM92}, cites = {0}, citedby = {0}, pages = {375-394}, booktitle = {Higher Order Logic Theorem Proving and its Applications, Proceedings of the IFIP TC10/WG10.2 Workshop HOL 92, Leuven, Belgium, 21-24 September 1992}, editor = {Luc J. M. Claesen and Michael J. C. Gordon}, volume = {A-20}, series = {IFIP Transactions}, publisher = {North-Holland/Elsevier}, isbn = {0-444-89880-8}, }