Author Info
Name
Papers
Collaborators
M. THOMAS
1
10
Citations 
PageRank 
Referers 
8
1.13
20
Referees 
References 
11
4
Title
Citations
PageRank
Year
Experiences in applying formal methods to the analysis of software and system requirements.81.131995