The Systems Validation Centre in retrospect

Henk Eertink, Wan Fokkink, Izak van Langevelde, H. Hermanns

    Research output: Contribution to journalArticleAcademic

    19 Downloads (Pure)
    Original languageEnglish
    Pages (from-to)33-37
    JournalNieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica
    Publication statusPublished - 2003

    Cite this