A formal language for the design of manufacturable objects

Kenneth N. Brown, Chris A. McMahon, J. H. Sims Williams

Published: 01 Jan 1994, Last Modified: 21 Mar 2025Formal Design Methods for CAD 1994EveryoneRevisionsBibTeXCC BY-SA 4.0