Corrigendum to “A Multiview Formal Model of Use Case Diagrams Using Z Notation: Towards Improving Functional Requirements Quality”

In the article titled “A Multiview Formal Model of Use Case Diagrams Using Z Notation: Towards Improving Functional Requirements Quality” [1], there was an error in the affiliation “LCS Laboratory, Faculty of Sciences of Rabat, Mohamed V University in Rabat, Morocco” in which the spelling of “Mohammed” was incorrect. The corrected affiliation appears below, and in the author information above: ？LCS Laboratory, Faculty of Sciences of Rabat, Mohammed V University in Rabat, Morocc