Sciweavers

2853 search results - page 5 / 571
» A platform for software engineering research
Sort
View
95
Voted
KBSE
1997
IEEE
15 years 5 months ago
Research Directions for Automated Software Verification: Using Trusted Hardware
Premkumar T. Devanbu, Stuart G. Stubblebine