Error-free software through formal methods

Research output: Chapter in Book/Report/Conference proceeding › Chapter or book article › Professional

Original language	English
Title of host publication	eEngineering 2009-2012
Subtitle of host publication	Digitising the product process
Place of Publication	Espoo
Publisher	VTT Technical Research Centre of Finland
Pages	37-41
ISBN (Electronic)	978-951-38-8126-9
ISBN (Print)	978-951-38-8125-2
Publication status	Published - 2013
MoE publication type	D2 Article in professional manuals or guides or professional information systems or text book material

Access to Document

eEngineering 2009-2012: Digitising the product process
Belloni, K. (Editor) & Ventä, O. (Editor), 2013, Espoo: VTT Technical Research Centre of Finland. 68 p. (VTT Research Highlights; No. 8).
Research output: Book/Report › Book (editor) › Professional

Open Access

@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",

}