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