Author Info
Name
Affiliation
Papers
J.-F. COUCHOT
LIFC, U. de Franche-Comté, Besançon, France
1
Collaborators
Citations 
PageRank 
4
3
0.46
Referers 
Referees 
References 
9
21
8
Title
Citations
PageRank
Year
Proving and Debugging Set-Based Specifications30.462004