@misc{indiciae8c72e35d1a06,
  title = {Digital Design Verification using Formal and Complexity Analysis.},
  author = {Armstrong, Robert C. and Mayo, Jackson and Punnoose, Ratish J. and Ruthruff, Joseph.},
  year = {2014},
  url = {https://www.osti.gov/biblio/1688650},
  note = {Source identifier: 1688650}
}