What can we expect from program verification?

  1. Lookup NU author(s)
  2. Professor Michael Jackson
Author(s)Jackson M
Publication type Article
JournalComputer
Year2006
Volume39
Issue10
Pages65-71
ISSN (print)0018-9162
ISSN (electronic)1558-0814
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
PublisherIEEE Computer Society
URLhttp://dx.doi.org/10.1109/MC.2006.363
DOI10.1109/MC.2006.363
Actions    Link to this publication