Error-free software through formal methods

Antti Pakonen, Janne Valkonen

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). VTT Technical Research Centre of Finland. VTT Research Highlights, No. 8 http://www.vtt.fi/inf/pdf/researchhighlights/2013/R8.pdf