Author Info
Name
Papers
Collaborators
DAVID HAMILTON
2
15
Citations 
PageRank 
Referers 
82
6.90
151
Referees 
References 
62
23
Search Limit
100151
Title
Citations
PageRank
Year
Experiences Using Lightweight Formal Methods for Requirements Modeling745.771998
Experiences in applying formal methods to the analysis of software and system requirements.81.131995