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