Error-free software through formal methods
Year of publication
2013
Authors
Pakonen, Antti; Valkonen, Janne
Organizations and authors
Publication type
Publication format
Article
Parent publication type
Compilation
Article type
Other article
Audience
ProfessionalMINEDU's publication type classification code
D2 Article in a professional research book (incl. an introduction by the editor)Publication channel information
Journal/Series
VTT Research Highlights
Parent publication name
Publisher
VTT Technical Research Centre of Finland
Issue
8
Pages
37-41
ISSN
ISBN
Open access
Open access in the publisher’s service
Yes
License of the publisher’s version
Other license
Self-archived
No
Other information
Fields of science
Computer and information sciences
Language
English
International co-publication
No
Co-publication with a company
No
The publication is included in the Ministry of Education and Culture’s Publication data collection
Yes