https://catalogue-scientifique.canada.ca/record=2121487~S6*frc
naval research lab washington dc center for high assurance computing systems (chacs), 2005
This paper traces the ten plus year history of the Naval Research Laboratory's Pump idea. The Pump was theorized, designed, and built at the Naval Research...
Publication gouvernementale