Programming by Construction

Mauno Rönkkö, Markus Stocker, Mats Neovius, Mikko Kolehmainen, Luigia Petre

    Research output: Book/Journal/ReportCommissioned reportProfessional

    Original languageUndefined/Unknown
    PublisherTurku Centre for Computer Science (TUCS)
    ISBN (Print)978-952-12-2978-7
    Publication statusPublished - 2013
    MoE publication typeD4 Published development or research report or study

    Cite this