"A transformation-based approach to hardware design using higher-order ..."

Rinse Wester (2015)

Details and statistics

DOI:

access: closed

type: Book or Thesis

metadata version: 2017-05-12

a service of  Schloss Dagstuhl - Leibniz Center for Informatics