Author Info
Name
Papers
Collaborators
ERIK SAAMAN
1
3
Citations 
PageRank 
Referers 
2
0.40
9
Referees 
References 
21
6
Title
Citations
PageRank
Year
Formalizing Anaesthesia: a case study in formal specification20.401996