Dafny (Estonian Wikipedia)

Analysis of information sources in references of the Wikipedia article "Dafny" in Estonian language version.

refsWebsite
Global rank Estonian rank
153rd place
418th place
274th place
191st place
1st place
1st place
low place
low place

microsoft.com

  • "Dafny: A Language and Program Verifier for Functional Correctness".
  • "Microsoft Research".

rise4fun.com

springer.com

link.springer.com

web.archive.org