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