Specification Metrics for Event-B Developments

D3 Professionell konferenspublikation


Interna författare/redaktörer


Publikationens författare: Olszewska (Pląska) M, Sere K
Redaktörer: Schieferdecker I, Seidl R, Goericke S
Förläggare: International Software Quality Institute
Publiceringsår: 2010
Moderpublikationens namn: Proceedings of the CONQUEST 2010: "Software Quality Improvement"

Senast uppdaterad 2019-16-10 vid 01:53

Dela länk