Niels Maretti
-
Formal verification in hardware design: a survey
ACM Transactions on Design Automation of Electronic Systems (TODAES)
A rigorous environment for development of concurrent systems
Nordic Journal of Computing