Lógica de Hoare (Portuguese Wikipedia)

Analysis of information sources in references of the Wikipedia article "Lógica de Hoare" in Portuguese language version.

refsWebsite

Global rank Portuguese rank

415^th place

453^rd place

2^nd place

4^th place

1,041^st place

985^th place

doi.org

dx.doi.org

C. A. R. Hoare. "An axiomatic basis for computer programming". Communications of the ACM, 12(10):576–580,583 October 1969. doi:10.1145/363235.363259

mit.edu

sunnyday.mit.edu

C. A. R. Hoare. "An axiomatic basis for computer programming". Communications of the ACM, 12(10):576–580,583 October 1969. doi:10.1145/363235.363259

virginia.edu

cs.virginia.edu

R. W. Floyd. "Assigning meanings to programs." Proceedings of the American Mathematical Society Symposia on Applied Mathematics. Vol. 19, pp. 19–31. 1967.