A formal semantics for Z and the link between Z and the relational algebra

M.J. van Diepen, K.M. Hee, van

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

9 Citations (Scopus)
Original languageEnglish
Title of host publicationVDM'90, VDM and Z - Formal Methods in Software Development (Proceedings Third International Symposium of VDM Europe, Kiel, Germany, April 17-21, 1990)
EditorsD. Bjorner, C.A.R. Hoare, H. Langmaack
PublisherSpringer
Pages526-551
ISBN (Print)3-540-52513-0
DOIs
Publication statusPublished - 1990

Publication series

NameLecture Notes in Computer Science
Volume428
ISSN (Print)0302-9743

Cite this