Proofs and Refutations in Invariant-Based Programming

Johannes Eriksson, Masoumeh Parsa, Ralph-Johan Back

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

Original languageUndefined/Unknown
Title of host publicationProceedings of the 11th International Conference on Integrated Formal Methods (iFM2014)
EditorsE Albert, E Sekerinski
PublisherSpringer
Pages189–204
ISBN (Electronic)978-3-319-10181-1
ISBN (Print)978-3-319-10180-4
DOIs
Publication statusPublished - 2014
MoE publication typeA4 Article in a conference publication
Eventconference; 2014-09-09; 2014-09-11 - Bertinoro, Italy
Duration: 9 Sep 201411 Sep 2014

Conference

Conferenceconference; 2014-09-09; 2014-09-11
Period09/09/1411/09/14

Cite this