@misc{indiciae5cd21c0be95a,
  title = {Third NASA Langley Formal Methods Workshop},
  author = {Holloway, C. Michael},
  year = {1995},
  url = {https://ntrs.nasa.gov/citations/19960000026},
  note = {Source identifier: 19960000026}
}