V. Stavridou

4 published titles

Theorem provers in circuit design

(Contributor)

1 edition

Formal methods in circuit design

1 edition

Mathematics of dependable systems : based on the proceedings of a conference on mathematics of dependable systems, organized by the Institute of Mathematics and its Applications and held at Royal Holl

(Contributor)

1 edition

Mathematics of dependable systems II : based on the proceedings of a conference organized by the Institute of Mathematics and Its Applications on the mathematics of dependable systems, and held at the

(Contributor)

1 edition