@article{Rushby96:2,
  title = {Enhancing the Utility of Formal Methods},
  author = {John M. Rushby},
  year = {1996},
  researchr = {https://researchr.org/publication/Rushby96%3A2},
  cites = {0},
  citedby = {0},
  journal = {ACM Computing Surveys},
  volume = {28},
  number = {4es},
  pages = {123},
}