B-Method (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "B-Method" in English language version.

refsWebsite

Global rank English rank

2^nd place

2^nd place

2web.archive.org

1^st place

1^st place

low place

low place

274^th place

309^th place

low place

low place

low place

low place

383^rd place

320^th place

low place

low place

1librairiecosmopolite.com

low place

low place

atelierb.eu (Global: low place; English: low place)

"AtelierB.eu".

b-core.com (Global: low place; English: low place)

"The B-Toolkit". [B-Core (UK) Limited]. 2004. Archived from the original on October 12, 2004. Retrieved February 22, 2012.
B-Toolkit Requirements Archived 2004-10-12 at the Wayback Machine

bcs.org (Global: low place; English: low place)

Bowen, Jonathan (July 2022). "Ib Holm Sørensen: Ten Years After" (PDF). FACS FACTS. No. 2022–2. BCS-FACS. pp. 41–49. Retrieved 3 August 2022.

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

Jean-Raymond Abrial (1988). "The B Tool (Abstract)" (PDF). In Bloomfield, Robin E.; Marshall, Lynn S.; Jones, Roger B. (eds.). VDM – The Way Ahead, Proc. 2nd VDM-Europe Symposium. Lecture Notes in Computer Science. Vol. 328. Springer. pp. 86–87. doi:10.1007/3-540-50214-9_8. ISBN 978-3-540-50214-2.
Abrial, J.-R.; Cansell, D. (2003). "Click'n Prove: Interactive Proofs within Set Theory". In Basin, D.; Wolff, B. (eds.). Theorem Proving in Higher Order Logics (TPHOLs). Lecture Notes in Computer Science. Vol. 2758. Berlin, Heidelberg: Springer. doi:10.1007/10930755_1.

event-b.org (Global: low place; English: low place)

"Event-B and the Rodin Platform". Event-B.org.

github.com (Global: 383^rd place; English: 320^th place)

Crichton, Edward. "B-Toolkit source code". GitHub.

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

"Association de pilotage des conférences B". librairiecosmopolite.com. Retrieved 27 July 2022.

springer.com (Global: 274^th place; English: 309^th place)

link.springer.com

Jean-Raymond Abrial (1988). "The B Tool (Abstract)" (PDF). In Bloomfield, Robin E.; Marshall, Lynn S.; Jones, Roger B. (eds.). VDM – The Way Ahead, Proc. 2nd VDM-Europe Symposium. Lecture Notes in Computer Science. Vol. 328. Springer. pp. 86–87. doi:10.1007/3-540-50214-9_8. ISBN 978-3-540-50214-2.

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

"The B-Toolkit". [B-Core (UK) Limited]. 2004. Archived from the original on October 12, 2004. Retrieved February 22, 2012.
B-Toolkit Requirements Archived 2004-10-12 at the Wayback Machine