V. Stavridou · 4 obras en el catálogoObrasMathematics of dependable systems IIMMathematics of dependable systemsMathematics of dependable systemsAAssessment of computer-aided logic designAssessment of computer-aided logic design1983Formal methods in circuit design1993
