Model Checking a C plus plus Software Framework:A Case Study
Year of publication
2019
Authors
Lång, John; Prasetya, I. S. W. B.
Organizations and authors
University of Helsinki
Lång John
Publication type
Publication format
Article
Parent publication type
Conference
Article type
Other article
Audience
ScientificPeer-reviewed
Peer-ReviewedMINEDU's publication type classification code
A4 Article in conference proceedingsPublication channel information
Parent publication name
Parent publication editors
Dumas, M; Pfahl, D; Apel, S; Russo, A
Publisher
Pages
1026-1036
ISBN
Publication forum
Publication forum level
1
Open access
Open access in the publisher’s service
No
Self-archived
No
Other information
Fields of science
Computer and information sciences
Keywords
[object Object],[object Object],[object Object]
Publication country
United States
Internationality of the publisher
International
Language
English
International co-publication
Yes
Co-publication with a company
No
DOI
10.1145/3338906.3340453
The publication is included in the Ministry of Education and Culture’s Publication data collection
Yes