The Lotosphere integrated tool environment lite

P.H.J. van Eijk

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Original languageUndefined
    Title of host publicationFourth International conference on formal description techniques
    Place of PublicationSydney
    Pages473-476
    Number of pages4
    Publication statusPublished - 22 Nov 1991

    Keywords

    • METIS-119489

    Cite this