@misc{indiciaeef495d8cf525,
  title = {Interpreter composition issues in the formal verification of a processor-memory module},
  author = {Fura, David A. and Cohen, Gerald C.},
  year = {1994},
  url = {https://ntrs.nasa.gov/citations/19940028269},
  note = {Source identifier: 19940028269}
}