Toggle Main Menu Toggle Search

Open Access padlockePrints

Roadmap for enhanced languages and methods to aid verification

Lookup NU author(s): Professor Cliff Jones


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; Leavens GT; Abrial J-R; Batory D; Butler M; Coglio A; Fisler K; Hehner E; Miller D; Peyton-Jones S; Sitaraman M; Smith DR; Stump A

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: Fifth International Conference on Generative Programming and Component Engineering (GPCE)

Year of Conference: 2006

Pages: 221-236

Publisher: ACM Press


DOI: 10.1145/1173706.1173740

Library holdings: Search Newcastle University Library for this item

ISBN: 1595932372