Index Catalog // STAX

Filter löschen

Filtern nach: Mitwirkender Crockett, Louise

1. Toatie : functional hardware description with dependent types

Schöpfer:: Ramsay, Craig
Datum:: 2023
Funder:: Engineering and Physical Sciences Research Council
Department, School or Faculty:: Software Defined Radio Research Laboratory, Department of Electronic and Electrical Engineering, and Faculty of Engineering