Paolo Camurati

Personal Homepage
Employer
()
Email

Publication Statistics

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

Co-authors
Number of publications with favourite co-authors

Productive Colleagues
Most productive colleagues in number of publications

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.