TY  - GEN
AU  - Weissman, Alex
AU  - Gupta, Satyandra
AU  - Fiorentini, Xenia
AU  - Rachuri, Sudarsan
AU  - Sriram, Ram
C2  - NIST Interagency/Internal Report (NISTIR), National Institute of Standards and Technology, Gaithersburg, MD
DA  - 2009-08-27 00:08:00
DO  - https://doi.org/10.6028/NIST.IR.7626
LA  - en
PB  - NIST Interagency/Internal Report (NISTIR), National Institute of Standards and Technology, Gaithersburg, MD
PY  - 2009
TI  - Formal Representation of Product Design Specifications for Validating Product Designs
UR  - https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=902722
ER  -