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

Cite this