Author: Paolo Camurati
Publications
Publication period start: 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.