Verification of Concurrent Software

    Research output: Contribution to journalEditorialAcademicpeer-review

    Original languageEnglish
    Pages (from-to)2-2
    JournalElectronic proceedings in theoretical computer science
    Issue number261
    Publication statusPublished - 2017

    Cite this