Paper Info
Title
5th Irish Workshop on Formal Methods, IWFM 2001, Dublin, Ireland, 16-17 July 2001
Year
Venue
Keywords
2001
IWFM
formal method
DocType
Citations 
PageRank 
Conference
6
1.03
References 
Authors
0
3
Name
Order
Citations
PageRank
Andrew Butterfield1687.85
Glenn Strong2215.73
Claus Pahl31221124.51