@misc{indiciaecf854d15f63b,
  title = {Hardware verification at Computational Logic, Inc.},
  author = {Brock, Bishop C. and Hunt, Warren A., Jr.},
  year = {1990},
  url = {https://ntrs.nasa.gov/citations/19910008258},
  note = {Source identifier: 19910008258}
}