Author: Paolo Camurati

Publication Overview

Publication period start: 1988
Number of co-authors: 1

Co-Authors

Number of publications with favourite co-authors

Paolo Prinetto
1

Productive Colleagues

Most productive colleagues in number of publications

Paolo Prinetto
3

Publications

Camurati, Paolo, Prinetto, Paolo (1988): Formal Verification of Hardware Correctness: Introduction and Survey of Current Research. In IEEE Computer, 21 (7) pp. 8-19.

Privacy Settings

By using this site, you accept our Cookie Policy and Terms of Use.
Customize
Accept all

Learn Design and AI From the Best

Get one powerful email each week, like 313,354 others.

Next email in: