Transformations and semantical checks for SIL-1

C. Huijs, J. Hofstede, Th. Krol

    Research output: Book/ReportReportProfessional

    Original languageUndefined
    Place of PublicationEnschede
    PublisherUniversiteit Twente
    Number of pages53
    Publication statusPublished - 1992

    Keywords

    • METIS-122248

    Cite this