TY  - CONF
AU  - P Ammann
AU  - Paul Black
AU  - William Majurski
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  -