Toggle Main Menu Toggle Search

ePrints

What can we expect from program verification?

Lookup NU author(s): Professor Michael Jackson

Downloads

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


Publication metadata

Author(s): Jackson M

Publication type: Article

Journal: Computer

Year: 2006

Volume: 39

Issue: 10

Pages: 65-71

ISSN (print): 0018-9162

ISSN (electronic): 1558-0814

Publisher: IEEE Computer Society

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

DOI: 10.1109/MC.2006.363


Altmetrics

Altmetrics provided by Altmetric


Actions

    Link to this publication


Share