- Title:
Formally Correct Translation of DSP Algorithms Specified in an Asynchronous Applicative Language
- Author(s):
- Freericks, Markus; Knoll, Alois
- Book / Congress title:
- International Conference on Acoustics, Proceedings
- Organization:
- ICASSP
- Publisher address:
- Minneapolis
- Year:
- 1993
- BibTeX