A precise pictorial language for array invariants

Johannes Eriksson, Masoumeh Parsa, Ralph-Johan Back

Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

1 Citation (Scopus)
Original languageUndefined/Unknown
Title of host publicationIntegrated Formal Methods
EditorsC. Furia, K. Winter
PublisherSpringer
Pages151–160
ISBN (Print)9783319989372
DOIs
Publication statusPublished - 2018
MoE publication typeA4 Article in a conference publication
EventInternational Conference on Integrated Formal Methods - International Conference on Integrated Formal Methods
Duration: 1 Jan 2018 → …

Conference

ConferenceInternational Conference on Integrated Formal Methods
Period01/01/18 → …

Cite this