Victoria Stavridou

4 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.

Personal view: Formal methods: epideictic or apodeictic?

Jonathan Bowen and others (1994) · Software Engineering Journal · Institution of Engineering and Technology (IET)

Formal Methods and VLSI Engineering Practice

Victoria Stavridou (1994) · The Computer Journal · Oxford University Press

Safety-critical systems, formal methods and standards

Jonathan P. Bowen and others (1993) · Software Engineering Journal

Formal Methods in Circuit Design

Victoria Stavridou (1993) · Cambridge University Press