Specification Metrics for Event-B Developments

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
Pages
Publication statusPublished - 2010
MoE publication typeD3 Professional conference proceedings

Cite this