↓ Skip to main content

A constructive approach to the problem of program correctness

Overview of attention for article published in BIT Numerical Mathematics, September 1968
Altmetric Badge

About this Attention Score

  • Among the highest-scoring outputs from this source (#26 of 202)

Mentioned by

wikipedia
3 Wikipedia pages

Citations

dimensions_citation
165 Dimensions

Readers on

mendeley
32 Mendeley
citeulike
1 CiteULike