Automatic Testing with Formal Methods - Samenvatting van de EuroSTAR'99 presentatie

G.J. Tretmans, Axel Belinfante

    Research output: Contribution to journalArticleProfessional

    Original languageUndefined
    Pages (from-to)8-10
    Number of pages3
    JournalTestNet Nieuws - Nieuwsbrief van de vereniging TestNet
    Volume4
    Issue number1
    Publication statusPublished - 2000

    Keywords

    • IR-19924
    • METIS-121924
    • EWI-6373

    Cite this