Skip to main content

Formally Analysed Dynamic Synthesis of Hardware

Kong Woei Susanto and Tom Melham

Book Title
Theorem Proving in Higher Order Logics: Emerging Trends: 11th International Conference‚ TPHOLs'98‚ Canberra‚ September 27 – October 1‚ 1998: Supplementary Proceedings
Editor
Jim Grundy and Malcolm Newey
ISBN
0−7315−4800−0
Pages
105–117
Publisher
Australian National University
Year
1998