Sciweavers

KBSE
1997
IEEE

Research Directions for Automated Software Verification: Using Trusted Hardware

14 years 3 months ago
Research Directions for Automated Software Verification: Using Trusted Hardware
Premkumar T. Devanbu, Stuart G. Stubblebine
Added 26 Aug 2010
Updated 26 Aug 2010
Type Conference
Year 1997
Where KBSE
Authors Premkumar T. Devanbu, Stuart G. Stubblebine
Comments (0)