TY  - RPRT
TI  - Logic Design
AU  - Issam Damaj
PY  - 2019
DO  - 10.1002/9780470050118.ecse177
UR  - https://arxiv.org/abs/1905.02075
ID  - 1905.02075
ER  -