A precise pictorial language for array invariants
Year of publication
2018
Authors
Johannes Eriksson; Masoumeh Parsa; Ralph-Johan Back
Organizations and authors
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
Journal/Series
Integrated Formal Methods
Parent publication name
Conference
International Conference on Integrated Formal Methods
Pages
151–160
ISBN
Open access
Open access in the publisher’s service
No
Self-archived
No
Other information
Fields of science
Computer and information sciences
Internationality of the publisher
International
International co-publication
No
Co-publication with a company
No
DOI
10.1007/978-3-319-98938-9_9
The publication is included in the Ministry of Education and Culture’s Publication data collection
Yes