@misc{indiciae94a24567d7f3,
  title = {Advances in software security assessment and verification research},
  author = {Gilliam, D. P. and Powell, J. D.},
  year = {2002},
  url = {https://ntrs.nasa.gov/citations/20060030243},
  note = {Source identifier: 20060030243}
}