Home › Authors › V. Stavridou 👤 V. Stavridou 3 books Books by V. Stavridou Mathematics of dependable syst Mathematics of dependable systems 1995 Formal methods in circuit design 1993 Assessment of computer-aided l Assessment of computer-aided logic design 1983