Correctness (computer science) (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Correctness (computer science)" in English language version.

refsWebsite

Global rank English rank

2^nd place

2^nd place

3semanticscholar.org

11^th place

8^th place

1,185^th place

840^th place

1web.archive.org

1^st place

1^st place

207^th place

136^th place

low place

low place

1,564^th place

1,028^th place

acm.org

dl.acm.org

Dunlop, Douglas D.; Basili, Victor R. (June 1982). "A Comparative Analysis of Functional Correctness". Communications of the ACM. 14 (2): 229–244. doi:10.1145/356876.356881. S2CID 18627112.

cmu.edu

ece.cmu.edu

Pan, Jiantao (Spring 1999). "Software Testing" (coursework). Carnegie Mellon University. Retrieved 21 November 2017.

doi.org

Dunlop, Douglas D.; Basili, Victor R. (June 1982). "A Comparative Analysis of Functional Correctness". Communications of the ACM. 14 (2): 229–244. doi:10.1145/356876.356881. S2CID 18627112.
Manna, Zohar; Pnueli, Amir (September 1974). "Axiomatic approach to total correctness of programs". Acta Informatica. 3 (3): 243–263. doi:10.1007/BF00288637. S2CID 2988073.
Hoare, C. A. R. (October 1969). "An axiomatic basis for computer programming" (PDF). Communications of the ACM. 12 (10): 576–580. CiteSeerX 10.1.1.116.2392. doi:10.1145/363235.363259. S2CID 207726175. Archived from the original (PDF) on 4 March 2016.

maine.edu

spatial.maine.edu

Hoare, C. A. R. (October 1969). "An axiomatic basis for computer programming" (PDF). Communications of the ACM. 12 (10): 576–580. CiteSeerX 10.1.1.116.2392. doi:10.1145/363235.363259. S2CID 207726175. Archived from the original (PDF) on 4 March 2016.

psu.edu

citeseerx.ist.psu.edu

Hoare, C. A. R. (October 1969). "An axiomatic basis for computer programming" (PDF). Communications of the ACM. 12 (10): 576–580. CiteSeerX 10.1.1.116.2392. doi:10.1145/363235.363259. S2CID 207726175. Archived from the original (PDF) on 4 March 2016.

semanticscholar.org

api.semanticscholar.org

Dunlop, Douglas D.; Basili, Victor R. (June 1982). "A Comparative Analysis of Functional Correctness". Communications of the ACM. 14 (2): 229–244. doi:10.1145/356876.356881. S2CID 18627112.
Manna, Zohar; Pnueli, Amir (September 1974). "Axiomatic approach to total correctness of programs". Acta Informatica. 3 (3): 243–263. doi:10.1007/BF00288637. S2CID 2988073.
Hoare, C. A. R. (October 1969). "An axiomatic basis for computer programming" (PDF). Communications of the ACM. 12 (10): 576–580. CiteSeerX 10.1.1.116.2392. doi:10.1145/363235.363259. S2CID 207726175. Archived from the original (PDF) on 4 March 2016.

web.archive.org

Hoare, C. A. R. (October 1969). "An axiomatic basis for computer programming" (PDF). Communications of the ACM. 12 (10): 576–580. CiteSeerX 10.1.1.116.2392. doi:10.1145/363235.363259. S2CID 207726175. Archived from the original (PDF) on 4 March 2016.