Stavridou, V.
Stavridou, V. (Victoria)
Victoria Coleman
Coleman, Victoria
Stavridou, Victoria
VIAF ID: 20812862 ( Personal )
Permalink: http://viaf.org/viaf/20812862
Preferred Forms
- 100 1 _ ‡a Coleman, Victoria
- 100 1 _ ‡a Stavridou, V.
- 100 1 _ ‡a Stavridou, V.
-
-
- 100 1 0 ‡a Stavridou, V. ‡q (Victoria)
-
- 100 1 _ ‡a Stavridou, Victoria
-
- 100 0 _ ‡a Victoria Coleman
4xx's: Alternate Name Forms (12)
Works
Title | Sources |
---|---|
Formal methods in circuit design | |
Mathematics of dependable systems two | |
Theorem provers in circuit design : proceedings of the IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice, and Experience, Nijmegen, The Netherlands, 22-24 June 1992 |