High Assurance Java Virtual Machine Download Presented as part of the 2001 HCSS conference. Tags: Kestrel Institute Research Organization Presentation HCSS '01 HCSS 2001 License: CC-2.5 Submitted by William Martin on Mon, 02/13/2012 - 15:15