© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Specification and verification of digital systems using higher-order logic
F. K. Hanna and N. Daeche
Proc. IEE, Part E, pages 182-196, September 1986.Bibtex Record
@article{486,
author = {F. K. Hanna and N. Daeche},
title = {Specification and Verification of Digital Systems using Higher-Order Logic},
month = {September},
year = {1986},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1986/486},
journal = {Proc. IEE, Part E},
}