Test Case Derivation from LOTOS Specifications

G.J. Tretmans

    Research output: Contribution to journalArticleProfessional

    Original languageUndefined
    Pages (from-to)-
    Number of pages15
    JournalMemoranda informatica
    Volume90
    Issue number21
    Publication statusPublished - 1990

    Keywords

    • METIS-121880

    Cite this