Toggle Main Menu Toggle Search

Open Access padlockePrints

Viewpoint: Program Verification: Public Image and Private Reality

Lookup NU author(s): Emeritus Professor John Dobson, Professor Brian RandellORCiD


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

Publication metadata

Author(s): Dobson JE, Randell B

Publication type: Article

Publication status: Published

Journal: Communications of the ACM

Year: 1989

Volume: 32

Issue: 4

Pages: 420-422

Print publication date: 01/04/1989

Date deposited: 10/09/2010

ISSN (print): 0001-0782

ISSN (electronic): 1557-7317

Publisher: ACM Press


DOI: 10.1145/63334.315933


Altmetrics provided by Altmetric