Proofs and Refutations in Invariant-Based Programming

Johannes Eriksson, Masoumeh Parsa, Ralph-Johan Back

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

    AlkuperäiskieliEi tiedossa
    OtsikkoProceedings of the 11th International Conference on Integrated Formal Methods (iFM2014)
    ToimittajatE Albert, E Sekerinski
    KustantajaSpringer
    Sivut189–204
    ISBN (elektroninen)978-3-319-10181-1
    ISBN (painettu)978-3-319-10180-4
    DOI - pysyväislinkit
    TilaJulkaistu - 2014
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
    Tapahtumaconference; 2014-09-09; 2014-09-11 - Bertinoro, Italy
    Kesto: 9 syyskuuta 201411 syyskuuta 2014

    Konferenssi

    Konferenssiconference; 2014-09-09; 2014-09-11
    Ajanjakso09/09/1411/09/14

    Viittausmuodot