Black, P.
(2000),
Is 'Implementation Implies Specification' Enough?, Design Automation Conference, [online], https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=151671
(Accessed April 3, 2025)
If you have any questions about this publication or are having problems accessing it, please contact reflib@nist.gov.