Jim Woodcock (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Jim Woodcock" in English language version.

refsWebsite

Global rank English rank

2web.archive.org

1^st place

1^st place

7,670^th place

5,196^th place

613^th place

456^th place

2^nd place

2^nd place

274^th place

309^th place

doi.org

dx.doi.org

Jim Woodcock, Susan Stepney, David Cooper, John Clark, and Jeremy Jacob, The certification of the Mondex electronic purse to ITSEC Level E6, Formal Aspects of Computing, Volume 20, Number 1, pages 5–19, January 2008.

ox.ac.uk

web2.comlab.ox.ac.uk

The Queen's Award for Technological Achievement 1992 Archived 2 December 2008 at the Wayback Machine, Oxford University Computing Laboratory, UK.

springer.com

"Editors". Formal Aspects of Computing. Springer. Retrieved 23 February 2019.

web.archive.org

Jim Woodcock homepage, Oxford University Computing Laboratory.
The Queen's Award for Technological Achievement 1992 Archived 2 December 2008 at the Wayback Machine, Oxford University Computing Laboratory, UK.

york.ac.uk

cs.york.ac.uk

Official homepage, University of York, UK.