A Formal Specification Language for Content Transfer Algorithms

    Research output: Book/Journal/ReportCommissioned reportProfessional

    Original languageUndefined/Unknown
    PublisherTUCS
    ISBN (Print)978-952-12-3058-5
    Publication statusPublished - 2014
    MoE publication typeD4 Published development or research report or study

    Cite this