Formal Representation of Product Design Specifications for Validating Product Designs

Created August 27, 2009, Updated February 17, 2017