Jim Woodcock - Concepedia

Author

Jim Woodcock

Also Known As

Butler, Michael, Cavalcanti, Ana, J WOODCOCK, J Woodcock, J. C. P. Woodcock, J. Woodcock, J.C.P. Woodcock, James Woodcock, James Woodcock, PhD, Jan Woodcock

351

Publications

6.5K

Citations

H-Index

114

Concepts

All Affiliations

University of York University of Oxford University of Kent Trinity College Dublin Universidade Federal de Pernambuco

About

Jim Woodcock is an author at University of York specializing in engineering, formal methods, and formal verification.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	22	40	1.3K
2	Language Studies	5	5	87
3	Medicine	2	2	58
4	Social Sciences	2	2	46
5	Business	1	1	11

Jim Woodcock

Publications

2.2K

Citations

H-Index

Page 1

	Year	Citations

Page 1