Towards Event-B Specification Metrics

Marta Olszewska, Kaisa Sere

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

    AlkuperäiskieliEi tiedossa
    OtsikkoProceedings of First Deploy Technical Workshop
    ToimittajatM Jastram, L Laibinis, F Lösch, M Mazzara
    KustantajaFirst Deploy Technical Workshop
    Sivut81–88
    TilaJulkaistu - 2009
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
    Tapahtumaconference -
    Kesto: 1 tammikuuta 2010 → …

    Konferenssi

    Konferenssiconference
    Ajanjakso01/01/10 → …

    Viittausmuodot