TY  - SER
AU  - Ammar, H H
AU  - Dugan, J.B.
TI  - Risk Assessment of Software-System Specifications
KW  - Risk Assessment
KW  - Software Specification
KW  - Colored Petri-Net
ER  -