Méthode B (French Wikipedia)

Analysis of information sources in references of the Wikipedia article "Méthode B" in French language version.

refsWebsite

Global rank French rank

low place

low place

low place

low place

low place

low place

1sourceforge.net

1,669^th place

1,268^th place

atelierb.eu

http://www.atelierb.eu/ : un outil de développement en B

b-core.com

http://www.b-core.com/btoolkit.html : un outil de développement en B

sourceforge.net

rodin-b-sharp.sourceforge.net

http://rodin-b-sharp.sourceforge.net/ : Le projet Rodin qui a pour objectif de développer une plate-forme de développement ouverte

utl.pt

web.ist.utl.pt

JR. Abrial et Dominique.Cansell, « Click’n Prove: Interactive Proofs Within Set Theory », Theorem proving in higher order logics, Springer Berlin Heidelberg,‎ 2003, p. 1-24 (lire en ligne)