Acquisition Source
Jet Propulsion Laboratory
Document Type
Conference Paper
Date Acquired
August 23, 2013
Publication Date
May 28, 2002
Subject Category
Computer Programming And Software Distribution Limits
Public
Keywords
software security security toolset vulnerability matrix property-based testingmodel checking security verification