Toggle Main Menu Toggle Search

Open Access padlockePrints

VDM "Postludium"

Lookup NU author(s): Professor Cliff Jones

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

Editor(s): Bjørner, D., Henson, M.

Publication type: Book Chapter

Publication status: Published

Book Title: Logics of Specification Languages

Year: 2007

Pages: 614-616

Publisher: Springer

Place Published: Berlin; New York

Library holdings: Search Newcastle University Library for this item

ISBN: 9783540741060


Share