Specification Metrics for Event-B Developments

Marta Olszewska, K Sere

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Ammatillinen

Alkuperäiskieli	Ei tiedossa
Otsikko	Proceedings of the CONQUEST 2010: "Software Quality Improvement"
Toimittajat	I Schieferdecker, R Seidl, S Goericke
Kustantaja	International Software Quality Institute
Sivut	–
Tila	Julkaistu - 2010
OKM-julkaisutyyppi	D3 Ammatillisen konferenssin julkaisusarja

Viittausmuodot

@inproceedings{81bd8900eed94099bc37c833d4bfd25f,

title = "Specification Metrics for Event-B Developments",

author = "Marta Olszewska and K Sere",

year = "2010",

language = "Odefinierat/ok{\"a}nt",

pages = "–",

editor = "I Schieferdecker and R Seidl and S Goericke",

booktitle = "Proceedings of the CONQUEST 2010: {"}Software Quality Improvement{"}",

publisher = "International Software Quality Institute",

}