Cote de Resyste - Test Automation with Formal Methods

G.J. Tretmans

    Research output: Contribution to journalArticleProfessional

    11 Downloads (Pure)
    Original languageUndefined
    Pages (from-to)11-13
    JournalXootic magazine
    Volume8
    Issue number2
    Publication statusPublished - 2000

    Keywords

    • METIS-121922
    • IR-70499

    Cite this