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

Feel Stuck? Want Freedom?

Join 326,061+ designers who get one powerful email each week. Learn to design a life you love.

Next email in
0
days
23
hrs
51
mins
59
secs

Free forever. No spam. Unsubscribe anytime.