Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Claudia Calabrese
Mitra Nasr Azadani
Hao Mao
Peter Malec
sabine randriamasy
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Sarvjeet Singh
Home
/
Author
/
SHARON FLYNN
Author Info
Open Visualization
Name
Papers
Collaborators
SHARON FLYNN
2
2
Citations
PageRank
Referers
11
1.99
17
Referees
References
11
5
Publications (2 rows)
Collaborators (2 rows)
Referers (17 rows)
Referees (11 rows)
Title
Citations
PageRank
Year
On Formal Specification of Software Components and Systems
0
0.34
2006
2nd Irish Workshop on Formal Methods, Cork, Eire, 2-3 July 1998
11
1.66
1998
1