V. Stavridou
3 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Gordon's computer: A hardware verification case study in OBJ3
V. Stavridou (1994) · Formal Methods in System Design · Springer Science+Business Media
Verification of Synchronous Concurrent Algorithms Using OBJ3: A Case Study of the Pixel-Planes Architecture
S. M. Eker and others (1991) · Springer London
Formal specification and verification of hardware: a comparative case study
V. Stavridou and others (1988) · 25th ACM/IEEE, Design Automation Conference.Proceedings 1988. · IEEE