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