@misc{1141606,
  author = {Paul E Black and Paul Ammann and Wei Ding},
  title = {Model checkers in software testing:},
  year = {2002},
  month = {2002-01-01 05:01:00},
  publisher = {, National Institute of Standards and Technology, Gaithersburg, MD},
  doi = {https://doi.org/10.6028/NIST.IR.6777},
  language = {en},
}