Investigating the Influence of Formal Methods

Shari Lawrence Pfleeger, Les Hatton. Investigating the Influence of Formal Methods. IEEE Computer, 30(2):33-43, 1997.

@article{PfleegerH97,
  title = {Investigating the Influence of Formal Methods},
  author = {Shari Lawrence Pfleeger and Les Hatton},
  year = {1997},
  researchr = {https://researchr.org/publication/PfleegerH97},
  cites = {0},
  citedby = {0},
  journal = {IEEE Computer},
  volume = {30},
  number = {2},
  pages = {33-43},
}