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