ITSEC (English Wikipedia)

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

refsWebsite

Global rank English rank

7,670^th place

5,196^th place

613^th place

456^th place

2^nd place

2^nd 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

web.comlab.ox.ac.uk

Susan Stepney, David Cooper, and Jim Woodcock, An Electronic Purse: Specification, Refinement, and Proof. Technical Monograph PRG-126, Programming Research Group, Oxford University, UK, 2000.

york.ac.uk

www-users.cs.york.ac.uk

Susan Stepney, David Cooper, and Jim Woodcock, An Electronic Purse: Specification, Refinement, and Proof. Technical Monograph PRG-126, Programming Research Group, Oxford University, UK, 2000.