Towards Event-B Specification Metrics

Marta Olszewska, Kaisa Sere

Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

Original languageUndefined/Unknown
Title of host publicationProceedings of First Deploy Technical Workshop
EditorsM Jastram, L Laibinis, F Lösch, M Mazzara
PublisherFirst Deploy Technical Workshop
Publication statusPublished - 2009
MoE publication typeA4 Article in a conference publication
Eventconference -
Duration: 1 Jan 2010 → …


Period01/01/10 → …

Cite this