Towards Event-B Specification Metrics

Marta Olszewska, Kaisa Sere

    Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review

    OriginalspråkOdefinierat/okänt
    Titel på gästpublikationProceedings of First Deploy Technical Workshop
    RedaktörerM Jastram, L Laibinis, F Lösch, M Mazzara
    FörlagFirst Deploy Technical Workshop
    Sidor81–88
    StatusPublicerad - 2009
    MoE-publikationstypA4 Artikel i en konferenspublikation
    Evenemangconference -
    Varaktighet: 1 jan 2010 → …

    Konferens

    Konferensconference
    Period01/01/10 → …

    Citera det här