TY  - GEN
AU  - Ammann, Paul E
AU  - Black, Paul E
AU  - Majurski, William
C2  - , National Institute of Standards and Technology, Gaithersburg, MD
DA  - 1998-01-01 05:01:00
DO  - https://doi.org/10.6028/NIST.IR.6166
LA  - en
PB  - , National Institute of Standards and Technology, Gaithersburg, MD
PY  - 1998
TI  - Using model checking to generate tests from specifications:
ER  -