TY  - JOUR
AU  - Black, Paul
C2  - Design Automation Conference
DA  - 2000-06-01
LA  - en
PB  - Design Automation Conference
PY  - 2000
TI  - Is 'Implementation Implies Specification' Enough?
UR  - https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=151671
ER  -