TY  - RPRT
TI  - Application of Lightweight Formal Methods to Software Security
AU  - Gilliam, David P.
AU  - Powell, John D.
AU  - Bishop, Matt
PY  - 2005
UR  - https://ntrs.nasa.gov/citations/20090017863
ID  - 20090017863
ER  -