Specification Metrics for Event-B Developments

Marta Olszewska, K Sere

Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Professionell

Originalspråk	Odefinierat/okänt
Titel på värdpublikation	Proceedings of the CONQUEST 2010: "Software Quality Improvement"
Redaktörer	I Schieferdecker, R Seidl, S Goericke
Förlag	International Software Quality Institute
Sidor	–
Status	Publicerad - 2010
MoE-publikationstyp	D3 Professionella konferenshandlingar

Citera det här

@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",

}