TY  - GEN
AU  - Weissman, Alex
AU  - Gupta, Satyandra K
AU  - Fiorentini, Xenia
AU  - Sudarsan, Rachuri
AU  - Sriram, Ram D
C2  - , National Institute of Standards and Technology, Gaithersburg, MD
DA  - 2009-01-01 05:01:00
DO  - https://doi.org/10.6028/NIST.IR.7626
LA  - en
PB  - , National Institute of Standards and Technology, Gaithersburg, MD
PY  - 2009
TI  - Formal representation of product design specifications for validating product designs:
ER  -