Toggle Main Menu Toggle Search

Open Access padlockePrints

Modularizing the Formal Description of a Database System

Lookup NU author(s): Emeritus Professor John FitzgeraldORCiD, 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): Fitzgerald JS, Jones CB

Editor(s): Bjorner, D., Hoare, C.A.R., and Langmaack, H.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 3rd International Symposium of VDM Europe: VDM and Z - Formal Methods in Software Development (VDM '90)

Year of Conference: 1990

Pages: 189-210

Publisher: Springer-Verlag

URL: http://dx.doi.org/10.1007/3-540-52513-0_11

DOI: 10.1007/3-540-52513-0_11

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 3540525130


Share