DDD: A System for Mechanized Digital Design Derivation (1997) [pdf](pdfs.semanticscholar.org)
pdfs.semanticscholar.org
DDD: A System for Mechanized Digital Design Derivation (1997) [pdf]
https://pdfs.semanticscholar.org/96ae/4c14ea7bdf5590486ce29c373a1911836404.pdf
0 comments
—