Specification Metrics for Event-B Developments

Marta Olszewska, K Sere

    Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragProfessionell

    OriginalspråkOdefinierat/okänt
    Titel på gästpublikationProceedings of the CONQUEST 2010: "Software Quality Improvement"
    RedaktörerI Schieferdecker, R Seidl, S Goericke
    FörlagInternational Software Quality Institute
    Sidor
    StatusPublicerad - 2010
    MoE-publikationstypD3 Professionella konferenshandlingar

    Citera det här