ePrints

Specification and verification [Foreword]

Lookup NU author(s): Emeritus Professor Cliff JonesORCiD

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 CB

Publication type: Article

Publication status: Published

Journal: IEEE Transactions on Software Engineering

Year: 1984

Volume: SE-10

Issue: 2

Pages: 126-127

Print publication date: 01/01/1984

ISSN (print): 0098-5589

Publisher: IEEE Computer Society

URL: http://dx.doi.org/10.1109/TSE.1984.5010214

DOI: 10.1109/TSE.1984.5010214

Altmetrics

Share