Transformations and semantical checks for SIL-1

C. Huijs, J. Hofstede, Th. Krol

    Research output: Book/Report › Report › Professional

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

    Keywords

    • METIS-122248

    Cite this