Towards Event-B Specification Metrics

A4 Conference proceedings


Internal Authors/Editors


Publication Details

List of Authors: Marta Olszewska (Pląska), Kaisa Sere
Editors: Jastram M, Laibinis L, Lösch F, Mazzara M
Publisher: First Deploy Technical Workshop
Publication year: 2009
Publisher: First Deploy Technical Workshop
Book title: Proceedings of First Deploy Technical Workshop
Start page: 81
End page: 88

Last updated on 2019-11-11 at 03:19