@article{article,
  author = {Paul Black},
  title = {Is {\textquoteright}Implementation Implies Specification{\textquoteright} Enough?},
  year = {2000},
  month = {2000-06-01},
  publisher = {Design Automation Conference},
  url = {https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=151671},
  language = {en},
}