TY  - CONF
AU  - Ammann, P
AU  - Black, Paul
AU  - Majurski, William
C2  - IEEE International Conference on Formal Engineering Methods, Brisbane, 1, AS
DA  - 1998-11-01 00:11:00
LA  - en
PB  - IEEE International Conference on Formal Engineering Methods, Brisbane, 1, AS
PY  - 1998
TI  - Using Model Checking to Generate Tests From Specifications
ER  -