Specification Metrics for Event-B Developments

Marta Olszewska, K Sere

    Research output: Chapter in Book/Conference proceedingConference contributionProfessional

    Original languageUndefined/Unknown
    Title of host publicationProceedings of the CONQUEST 2010: "Software Quality Improvement"
    EditorsI Schieferdecker, R Seidl, S Goericke
    PublisherInternational Software Quality Institute
    Publication statusPublished - 2010
    MoE publication typeD3 Professional conference proceedings

    Cite this