Isabelle (Russian Wikipedia)

Analysis of information sources in references of the Wikipedia article "Isabelle" in Russian language version.

refsWebsite

Global rank Russian rank

1^st place

7,448^th place

low place

low place

670^th place

1,461^st place

low place

1,669^th place

1,083^rd place

cam.ac.uk

Gordon, Mike 1.2 History (неопр.). Isabelle and HOL. Cambridge AR Research (The Automated Reasoning Group) (16 ноября 1994). Дата обращения: 28 апреля 2016. Архивировано 5 марта 2017 года.

Eberl, Manuel; Klein, Gerwin; Nipkow, Tobias; Paulson, Larry; Thiemann, René Archive of Formal Proofs (неопр.). Дата обращения: 22 октября 2019. Архивировано 19 декабря 2020 года.
Archive of Formal Proofs (неопр.). Дата обращения: 12 апреля 2020. Архивировано 19 декабря 2020 года.

Klein, Gerwin; Elphinstone, Kevin; Heiser, Gernot; Andronick, June; Cock, David; Derrin, Philip; Elkaduwe, Dhammika; Engelhardt, Kai; Kolanski, Rafal; Norrish, Michael; Sewell, Thomas; Tuch, Harvey; Winwood, Simon (October 2009). "seL4: Formal verification of an OS kernel" (PDF). 22nd ACM Symposium on Operating System Principles. Big Sky, Montana, US. pp. 207—200. Архивировано из оригинала (PDF) 28 июля 2011. Дата обращения: 12 апреля 2020.

afp.sourceforge.net (неопр.). Дата обращения: 12 апреля 2020. Архивировано 19 марта 2016 года.

Eberl, Manuel; Klein, Gerwin; Nipkow, Tobias; Paulson, Larry; Thiemann, René Archive of Formal Proofs (неопр.). Дата обращения: 22 октября 2019. Архивировано 19 декабря 2020 года.
Gordon, Mike 1.2 History (неопр.). Isabelle and HOL. Cambridge AR Research (The Automated Reasoning Group) (16 ноября 1994). Дата обращения: 28 апреля 2016. Архивировано 5 марта 2017 года.
Archive of Formal Proofs (неопр.). Дата обращения: 12 апреля 2020. Архивировано 19 декабря 2020 года.
Klein, Gerwin; Elphinstone, Kevin; Heiser, Gernot; Andronick, June; Cock, David; Derrin, Philip; Elkaduwe, Dhammika; Engelhardt, Kai; Kolanski, Rafal; Norrish, Michael; Sewell, Thomas; Tuch, Harvey; Winwood, Simon (October 2009). "seL4: Formal verification of an OS kernel" (PDF). 22nd ACM Symposium on Operating System Principles. Big Sky, Montana, US. pp. 207—200. Архивировано из оригинала (PDF) 28 июля 2011. Дата обращения: 12 апреля 2020.
afp.sourceforge.net (неопр.). Дата обращения: 12 апреля 2020. Архивировано 19 марта 2016 года.
Projects - Isabelle Community Wiki (неопр.). Дата обращения: 12 апреля 2020. Архивировано 12 апреля 2020 года.