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
    Pages81–88
    Publication statusPublished - 2009
    MoE publication typeA4 Article in a conference publication
    Eventconference -
    Duration: 1 Jan 2010 → …

    Conference

    Conferenceconference
    Period01/01/10 → …

    Cite this