Items where Author is "Denman, William"

Zaki, Mohamed H., Denman, William, Tahar, Sofiène and Bois, Guy (2009) Integrating Abstraction Techniques for Formal Verification of Analog Designs. Journal of Aerospace Computing, Information, and Communication, 6 (5). pp. 373-392. ISSN 1542-9423

Denman, William (2009) Towards the automated modelling and formal verification of analog designs. Masters thesis, Concordia University.