Author: Paolo Camurati

Paolo Camurati

Paolo Camurati

Publications

Publication period start: 1988
Publication period end: 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.