TY  - GEN
AU  - P Ammann
AU  - Paul Black
AU  - William Majurski
C2  - NIST Interagency/Internal Report (NISTIR), National Institute of Standards and Technology, Gaithersburg, MD
DA  - 1998-11-01 00:11:00
LA  - en
PB  - NIST Interagency/Internal Report (NISTIR), National Institute of Standards and Technology, Gaithersburg, MD
PY  - 1998
TI  - Using Model Checking to Generate Tests from Specifications
ER  -