Τυπική επαλήθευση (Greek Wikipedia)

Analysis of information sources in references of the Wikipedia article "Τυπική επαλήθευση" in Greek language version.

refsWebsite

Global rank Greek rank

5,196^th place

9,817^th place

1,185^th place

1,817^th place

670^th place

807^th place

low place

low place

acm.org

portal.acm.org

http://portal.acm.org/citation.cfm?id=800667

cam.ac.uk

cl.cam.ac.uk

Formal Verification in Industry

computer.org

www2.computer.org

http://www2.computer.org/portal/web/csdl/doi/10.1109/LICS.2003.1210044^{[νεκρός σύνδεσμος]}

embedded.com

"A new OS has been proven to be correct using mathematical proofs. The cost: astronomical."^{[νεκρός σύνδεσμος]} by Jack Ganssle