Cryptol (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Cryptol" in English language version.

refsWebsite

Global rank English rank

low place

low place

1books.google.com

3^rd place

3^rd place

1web.archive.org

1^st place

1^st place

7,043^rd place

4,687^th place

2^nd place

2^nd place

1semanticscholar.org

11^th place

8^th place

books.google.com (Global: 3^rd place; English: 3^rd place)

GoogleBook linkSutcliffe, Geoff; Voronkov, Andrei, eds. (2006). Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, December 2–6, 2005, Proceedings ... / Lecture Notes in Artificial Intelligence). Montego Bay, Jamaica: Springer. p. 744. ISBN 978-3-540-30553-8.

doi.org (Global: 2^nd place; English: 2^nd place)

Lewis, J.R.; Martin, B. (October 2003). "Cryptol: high assurance, retargetable crypto development and validation". Military Communications Conference, 2003. MILCOM 2003. IEEE. Vol. 2. Boston, Massachusetts: Armed Forces Communications & Electronics Association (AFCEA); IEEE Communications Society. pp. 820–825. doi:10.1109/MILCOM.2003.1290218. S2CID 8380437.

galois.com (Global: low place; English: low place)

"Cryptol-the-language-of-cryptology-now-available". December 2008. Retrieved 2015-05-05.

nsa.gov (Global: 7,043^rd place; English: 4,687^th place)

The Next Wave, High Confidence Software and Systems (HCSS) (PDF), vol. 19, 2011, archived from the original (PDF) on 2014-07-14, retrieved 2014-07-07

semanticscholar.org (Global: 11^th place; English: 8^th place)

api.semanticscholar.org

Lewis, J.R.; Martin, B. (October 2003). "Cryptol: high assurance, retargetable crypto development and validation". Military Communications Conference, 2003. MILCOM 2003. IEEE. Vol. 2. Boston, Massachusetts: Armed Forces Communications & Electronics Association (AFCEA); IEEE Communications Society. pp. 820–825. doi:10.1109/MILCOM.2003.1290218. S2CID 8380437.

web.archive.org (Global: 1^st place; English: 1^st place)

The Next Wave, High Confidence Software and Systems (HCSS) (PDF), vol. 19, 2011, archived from the original (PDF) on 2014-07-14, retrieved 2014-07-07