Automatic Formal Synthesis of Hardware from Higher Order Logic

Gordon, Mike and Iyoda, Juliano and Owens, Scott and Slind, Konrad (2006) Automatic Formal Synthesis of Hardware from Higher Order Logic. Electronic Notes in Theoretical Computer Science, 145 (?). pp. 27-43. ISSN 1571-0661. (doi:https://doi.org/10.1016/j.entcs.2005.10.003) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided. (Contact us about this Publication)
Official URL
http://dx.doi.org/10.1016/j.entcs.2005.10.003
Item Type: Article
Additional information: Proceedings of the 5th International Workshop on Automated Verification of Critical Systems (AVoCS 2005)
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Sciences > School of Computing > Programming Languages and Systems Group
Depositing User: Scott Owens
Date Deposited: 15 Nov 2013 12:07 UTC
Last Modified: 26 Nov 2013 13:57 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/31916 (The current URI for this page, for reference purposes)
  • Depositors only (login required):