Specification Metrics for Event-B Developments

Marta Olszewska, K Sere

Research output: Chapter in Book/Conference proceeding › Conference contribution › Professional

Original language	Undefined/Unknown
Title of host publication	Proceedings of the CONQUEST 2010: "Software Quality Improvement"
Editors	I Schieferdecker, R Seidl, S Goericke
Publisher	International Software Quality Institute
Pages	–
Publication status	Published - 2010
MoE publication type	D3 Professional conference proceedings

Cite this

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

}