ELISA : a language for formal specifications of information systems

G.A. Bussing, K.M. Hee, van, M. Voorhoeve

    Research output: Book/ReportReportAcademic

    365 Downloads (Pure)
    Original languageEnglish
    Place of PublicationEindhoven
    PublisherTechnische Universiteit Eindhoven
    Number of pages73
    Publication statusPublished - 1986

    Publication series

    NameComputing science notes
    Volume8602

    Cite this