Pieter Bos - Logic for Hardware Description Languages

author:Pieter Bos
title:Logic for Hardware Description Languages
keywords:
topics:Logics and semantics
committee:prof.dr. M. Huisman
S. Darabi MSc
graduation date:1 July 2016


Abstract