Title
Développement formel par composants Assemblage et vérification à l'aide de B
Year
DOI
Venue
2008
10.3166/tsi.27.1007-1032
Technique et Science Informatiques
Field
DocType
Volume
Computer science,Algorithm,Humanities,Distributed computing
Journal
27
Issue
Citations 
PageRank 
8
1
0.36
References 
Authors
0
3
Name
Order
Citations
PageRank
Arnaud Lanoix110311.54
Samuel Colin2162.84
Jeanine Souquières321130.80