Practical Verification & Safeguard Tools for C/C++ and Java
Presented as part of the 2006 HCSS conference.
License:
Creative Commons 2.5 
PDF document- 843.23 KB
- 207 downloads
- Download
- Printer-friendly version