Espezifikazio formala (informatika) (Basque Wikipedia)

Analysis of information sources in references of the Wikipedia article "Espezifikazio formala (informatika)" in Basque language version.

refsWebsite

Global rank Basque rank

5^th place

1^st place

4^th place

5^th place

low place

low place

153^rd place

131^st place

microsoft.com (Global: 153^rd place; Basque: 131^st place)

(Ingelesez) «Dafny: A Language and Program Verifier for Functional Correctness» Microsoft Research (kontsulta data: 2020-07-05).

nih.gov (Global: 4^th place; Basque: 5^th place)

pubmedcentral.nih.gov

Programen espezifikazio, egiaztapen eta eratorpen formala. Udako Euskal Unibertsitatea 2016 ISBN 978-84-8438-590-5. PMC 974392192. (kontsulta data: 2020-07-05).

wikipedia.org (Global: low place; Basque: low place)

en.wikipedia.org

https://en.wikipedia.org/wiki/Formal_specification

worldcat.org (Global: 5^th place; Basque: 1^st place)

Programen espezifikazio, egiaztapen eta eratorpen formala. Udako Euskal Unibertsitatea 2016 ISBN 978-84-8438-590-5. PMC 974392192. (kontsulta data: 2020-07-05).