Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Michael Sammler
Tidjani Négadi
Daniel P. Kennedy
Barbara Aquilani
Francesco Vacondio
Maximilian Dürr
Jhonathan Pinzon
Liangliang Shang
Fernando García
Chen Ma
Home
/
Author
/
JIM WOODCOCK
Author Info
Open Visualization
Name
Affiliation
Papers
JIM WOODCOCK
University of Oxford GB
1
Collaborators
Citations
PageRank
1
0
0.34
Referers
Referees
References
0
0
0
Publications (1 rows)
Collaborators (1 rows)
Referers (0 rows)
Referees (0 rows)
Title
Citations
PageRank
Year
The First World Congress on Formal Methods in the Development of Computing Systems
0
0.34
2000
1