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

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

9 Citaten (Scopus)
Originele taal-2Engels
TitelVDM'90, VDM and Z - Formal Methods in Software Development (Proceedings Third International Symposium of VDM Europe, Kiel, Germany, April 17-21, 1990)
RedacteurenD. Bjorner, C.A.R. Hoare, H. Langmaack
UitgeverijSpringer
Pagina's526-551
ISBN van geprinte versie3-540-52513-0
DOI's
StatusGepubliceerd - 1990

Publicatie series

NaamLecture Notes in Computer Science
Volume428
ISSN van geprinte versie0302-9743

Citeer dit