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).