Software Vulnerabilities Precluded by SPARK

Presented as part of the 2011 HCSS conference.

License: 
Creative Commons 2.5
Paul Black
Joyce Tokar
David Jones
Chris Dupilka

Other available formats:

Software Vulnerabilities Precluded by SPARK
Switch to experimental viewer