PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Melham, Thomas F."

Author of the publication

copydeleteadd this publication to your clipboard
An industrially effective environment for formal hardware verification.

, , , , , , and . IEEE Trans. on CAD of Integrated Circuits and Systems, 24 (9): 1381-1405 (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

F. Dörr

F. Laufer

F. Rusitschka

F. Perni

F. D{\"o}rr

 

Other publications of authors with the same name

The HOL Logic Extended with Quantification over Type Variables.. Formal Methods in System Design, 3 (1/2): 7-24 (1993)Practical Formal Verification in Microprocessor Design., , , , and . IEEE Design & Test of Computers, 18 (4): 16-25 (2001)A Mechanized Theory of the Pi-Calculus in HOL.. Nord. J. Comput., 1 (1): 50-76 (1994)Interactive Theorem Proving: An Empirical Study of User Activity., , , and . J. Symb. Comput., 25 (2): 263-284 (1998)Dynamic Specialization of XC6200 FPGAs by Partial Evaluation., , , and . FCCM, page 308-309. IEEE Computer Society, (1998)Translating Dependent Type Theory into Higher Order Logic., and . TLCA, volume 664 of Lecture Notes in Computer Science, page 209-229. Springer, (1993)Five Axioms of Alpha-Conversion., and . TPHOLs, volume 1125 of Lecture Notes in Computer Science, page 173-190. Springer, (1996)The PROSPER toolkit., , , , , and . STTT, 4 (2): 189-210 (2003)The HOL Logic Extended with Quantification over Type Variables.. TPHOLs, volume A-20 of IFIP Transactions, page 3-17. North-Holland/Elsevier, (1992)Higher Order Logic and Hardware Verification.. Cambridge Tracts in Theoretical Computer Science Cambridge University Press, (1993)