Error-free software through formal methods

    Research output: Chapter in Book/Report/Conference proceedingChapter or book articleProfessional

    Original languageEnglish
    Title of host publicationeEngineering 2009-2012
    Subtitle of host publicationDigitising the product process
    Place of PublicationEspoo
    PublisherVTT Technical Research Centre of Finland
    Pages37-41
    ISBN (Electronic)978-951-38-8126-9
    ISBN (Print)978-951-38-8125-2
    Publication statusPublished - 2013
    MoE publication typeNot Eligible

    Publication series

    SeriesVTT Research Highlights
    Number8
    ISSN2242-1173

    Cite this

    Pakonen, A., & Valkonen, J. (2013). Error-free software through formal methods. In eEngineering 2009-2012: Digitising the product process (pp. 37-41). Espoo: VTT Technical Research Centre of Finland. VTT Research Highlights, No. 8
    Pakonen, Antti ; Valkonen, Janne. / Error-free software through formal methods. eEngineering 2009-2012: Digitising the product process. Espoo : VTT Technical Research Centre of Finland, 2013. pp. 37-41 (VTT Research Highlights; No. 8).
    @inbook{25f6c90ba3ea433a923cab239c4750f9,
    title = "Error-free software through formal methods",
    author = "Antti Pakonen and Janne Valkonen",
    year = "2013",
    language = "English",
    isbn = "978-951-38-8125-2",
    series = "VTT Research Highlights",
    publisher = "VTT Technical Research Centre of Finland",
    number = "8",
    pages = "37--41",
    booktitle = "eEngineering 2009-2012",
    address = "Finland",

    }

    Pakonen, A & Valkonen, J 2013, Error-free software through formal methods. in eEngineering 2009-2012: Digitising the product process. VTT Technical Research Centre of Finland, Espoo, VTT Research Highlights, no. 8, pp. 37-41.

    Error-free software through formal methods. / Pakonen, Antti; Valkonen, Janne.

    eEngineering 2009-2012: Digitising the product process. Espoo : VTT Technical Research Centre of Finland, 2013. p. 37-41 (VTT Research Highlights; No. 8).

    Research output: Chapter in Book/Report/Conference proceedingChapter or book articleProfessional

    TY - CHAP

    T1 - Error-free software through formal methods

    AU - Pakonen, Antti

    AU - Valkonen, Janne

    PY - 2013

    Y1 - 2013

    M3 - Chapter or book article

    SN - 978-951-38-8125-2

    T3 - VTT Research Highlights

    SP - 37

    EP - 41

    BT - eEngineering 2009-2012

    PB - VTT Technical Research Centre of Finland

    CY - Espoo

    ER -

    Pakonen A, Valkonen J. Error-free software through formal methods. In eEngineering 2009-2012: Digitising the product process. Espoo: VTT Technical Research Centre of Finland. 2013. p. 37-41. (VTT Research Highlights; No. 8).