B. Huffman, J. Matthews, and P. White. Axiomatic constructor classes in Isabelle/HOLCF. In J. Hurd and T. F. Melham, editors, TPHOLs, volume 3603 of Lecture Notes in Computer Science, pages 147--162. Springer Verlag, 2005. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Running the Manual: An Approach to High-Assurance - Microkernel Development Philip (Correct)
No context found.
B. Huffman, J. Matthews, and P. White. Axiomatic constructor classes in Isabelle/HOLCF. In J. Hurd and T. F. Melham, editors, TPHOLs, volume 3603 of Lecture Notes in Computer Science, pages 147--162. Springer Verlag, 2005.
Formalising a High-Performance Microkernel - Kevin Elphinstone Gerwin (Correct)
No context found.
B. Huffman, J. Matthews, and P. White. Axiomatic constructor classes in Isabelle/HOLCF. In J. Hurd and T. F. Melham, editors, TPHOLs, volume 3603 of LNCS, pages 147--162. Springer, 2005.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC