Dafny (Estonian Wikipedia)

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

refsWebsite

Global rank Estonian rank

153^rd place

418^th place

274^th place

191^st place

2web.archive.org

1^st place

1^st place

low place

low place

microsoft.com

rise4fun.com

"rise4fun". Originaali arhiivikoopia seisuga 15. november 2018.
"Dafny - guide". Originaali arhiivikoopia seisuga 20. november 2018.

springer.com

link.springer.com

Jan Smans, Bart Jacobs, Frank Piessens (2009). Implicit Dynamic Frames: Combining Dynamic Frames and Separation Logic. Lk 148-172.{{raamatuviide}}: CS1 hooldus: mitu nime: autorite loend (link)
K. Rustan M. Leino (2010). Dafny: An Automatic Program Verifier for Functional Correctness. Proceedings of the Conference on Logic for Programming, Artificial Intelligence, and Reasoning. Lk 348-370.

web.archive.org

"rise4fun". Originaali arhiivikoopia seisuga 15. november 2018.
"Dafny - guide". Originaali arhiivikoopia seisuga 20. november 2018.