Toggle Main Menu Toggle Search

Open Access padlockePrints

Verified Software: a Grand Challenge

Lookup NU author(s): Professor Cliff Jones

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


Publication metadata

Author(s): Jones C, O'Hearn P, Woodcock J

Publication type: Article

Publication status: Published

Journal: Computer

Year: 2006

Volume: 39

Issue: 4

Pages: 93-95

ISSN (print): 0018-9162

Publisher: IEEE Computer Society

URL: http://dx.doi.org/10.1109/MC.2006.145

DOI: 10.1109/MC.2006.145


Altmetrics

Altmetrics provided by Altmetric


Actions

Find at Newcastle University icon    Link to this publication


Share