T. Hallgren, J. Hook, M. P. Jones, and R. B. Kieburtz. An overview of the Programatica ToolSet. High Confidence Software and Systems Conference, HCSS04, 2004. 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.
T. Hallgren, J. Hook, M. P. Jones, and R. B. Kieburtz. An overview of the Programatica ToolSet. High Confidence Software and Systems Conference, HCSS04, 2004.
Formalising a High-Performance Microkernel - Kevin Elphinstone Gerwin (Correct)
No context found.
T. Hallgren, J. Hook, M. P. Jones, and R. B. Kieburtz. An overview of the programatica toolset. High Confidence Software and Systems Conference, HCSS04, http://www.cse.ogi.edu/~hallgren/ Programatica/HCSS04, 2004.
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