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

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

    Research output: Book/ReportReportAcademic

    100 Downloads (Pure)
    Original languageEnglish
    Place of PublicationEindhoven
    PublisherTechnische Universiteit Eindhoven
    Number of pages27
    Publication statusPublished - 1989

    Publication series

    NameComputing science notes
    Volume8917

    Cite this