Victoria Stavridou
-
Formal verification of the AAMP5 microprocessor: a case study in the industrial use of formal methods
WIFT '95 Proceedings of the 1st Workshop on Industrial-Strength Formal Specification Techniques
Synchronous digital circuits as functional programs
ACM Computing Surveys (CSUR)