正确性 (计算机科学) (Chinese Wikipedia)

Analysis of information sources in references of the Wikipedia article "正确性 (计算机科学)" in Chinese language version.

refsWebsite

Global rank Chinese rank

2^nd place

23^rd place

2web.archive.org

1^st place

1^st place

1,185^th place

809^th place

274^th place

320^th place

low place

low place

1,564^th place

1,640^th place

acm.org

dl.acm.org

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

cmu.edu

ece.cmu.edu

Pan, Jiantao. Software Testing (coursework). Carnegie Mellon University. Spring 1999 [21 November 2017]. （原始内容存档于2009-12-25）.

doi.org

Dunlop, Douglas D.; Basili, Victor R. A Comparative Analysis of Functional Correctness. ACM通讯. June 1982, 14 (2): 229–244. doi:10.1145/356876.356881.
Manna, Zohar; Pnueli, Amir. Axiomatic approach to total correctness of programs (PDF). Acta Informatica. September 1974, 3 (3): 243–263. doi:10.1007/BF00288637.
Hoare, C. A. R. An axiomatic basis for computer programming (PDF). ACM通讯. October 1969, 12 (10): 576–580. doi:10.1145/363235.363259. （原始内容 (PDF)存档于4 March 2016）.

maine.edu

spatial.maine.edu

Hoare, C. A. R. An axiomatic basis for computer programming (PDF). ACM通讯. October 1969, 12 (10): 576–580. doi:10.1145/363235.363259. （原始内容 (PDF)存档于4 March 2016）.

springer.com

link.springer.com

Manna, Zohar; Pnueli, Amir. Axiomatic approach to total correctness of programs (PDF). Acta Informatica. September 1974, 3 (3): 243–263. doi:10.1007/BF00288637.

web.archive.org

Hoare, C. A. R. An axiomatic basis for computer programming (PDF). ACM通讯. October 1969, 12 (10): 576–580. doi:10.1145/363235.363259. （原始内容 (PDF)存档于4 March 2016）.
Pan, Jiantao. Software Testing (coursework). Carnegie Mellon University. Spring 1999 [21 November 2017]. （原始内容存档于2009-12-25）.