Specification Metrics for Event-B Developments

D3 Professional conference proceedings


Internal Authors/Editors


Publication Details

List of Authors: Olszewska (Pląska) M, Sere K
Editors: Schieferdecker I, Seidl R, Goericke S
Publisher: International Software Quality Institute
Publication year: 2010
Book title: Proceedings of the CONQUEST 2010: "Software Quality Improvement"

Last updated on 2019-17-10 at 04:46