@misc{indiciaec7bda2992ad3,
  title = {Why are Formal Methods Not Used More Widely?},
  author = {Knight, John C. and DeJong, Colleen L. and Gibble, Matthew S. and Nakano, Luis G.},
  year = {1997},
  url = {https://ntrs.nasa.gov/citations/19970029196},
  note = {Source identifier: 19970029196}
}