Proofs and Refutations in Invariant-Based Programming

Johannes Eriksson; Masoumeh Parsa; Ralph-Johan Back

doi:10.1007/978-3-319-10181-1

Proofs and Refutations in Invariant-Based Programming

Johannes Eriksson, Masoumeh Parsa, Ralph-Johan Back

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

Alkuperäiskieli	Ei tiedossa
Otsikko	Proceedings of the 11th International Conference on Integrated Formal Methods (iFM2014)
Toimittajat	E Albert, E Sekerinski
Kustantaja	Springer
Sivut	189–204
ISBN (elektroninen)	978-3-319-10181-1
ISBN (painettu)	978-3-319-10180-4
DOI - pysyväislinkit	https://doi.org/10.1007/978-3-319-10181-1
Tila	Julkaistu - 2014
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisuussa
Tapahtuma	conference; 2014-09-09; 2014-09-11 - Bertinoro, Italy Kesto: 9 syysk. 2014 → 11 syysk. 2014

Konferenssi

Konferenssi	conference; 2014-09-09; 2014-09-11
Ajanjakso	09/09/14 → 11/09/14

Pääsy asiakirjaan

10.1007/978-3-319-10181-1

Viittausmuodot

@inproceedings{30294518679b44258864352f2c3a3ac3,

title = "Proofs and Refutations in Invariant-Based Programming",

author = "Johannes Eriksson and Masoumeh Parsa and Ralph-Johan Back",

year = "2014",

doi = "10.1007/978-3-319-10181-1",

language = "Odefinierat/ok{\"a}nt",

isbn = "978-3-319-10180-4",

pages = "189–204",

editor = "E Albert and E Sekerinski",

booktitle = "Proceedings of the 11th International Conference on Integrated Formal Methods (iFM2014)",

publisher = "Springer",

note = "conference; 2014-09-09; 2014-09-11 ; Conference date: 09-09-2014 Through 11-09-2014",

}

Proofs and Refutations in Invariant-Based Programming. / Eriksson, Johannes; Parsa, Masoumeh; Back, Ralph-Johan.
Proceedings of the 11th International Conference on Integrated Formal Methods (iFM2014). toim. / E Albert; E Sekerinski. Springer, 2014. s. 189–204.

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

TY - GEN

T1 - Proofs and Refutations in Invariant-Based Programming

AU - Eriksson, Johannes

AU - Parsa, Masoumeh

AU - Back, Ralph-Johan

PY - 2014

Y1 - 2014

U2 - 10.1007/978-3-319-10181-1

DO - 10.1007/978-3-319-10181-1

M3 - Konferensbidrag

SN - 978-3-319-10180-4

SP - 189

EP - 204

BT - Proceedings of the 11th International Conference on Integrated Formal Methods (iFM2014)

A2 - Albert, E

A2 - Sekerinski, E

PB - Springer

T2 - conference; 2014-09-09; 2014-09-11

Y2 - 9 September 2014 through 11 September 2014

ER -