The mystery of formal methods disuse

@article{Glass2004TheMO,
  title={The mystery of formal methods disuse},
  author={Robert L. Glass},
  journal={Commun. ACM},
  year={2004},
  volume={47},
  pages={15-17}
}
A story of zealotry and chicanery. 

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…