QamarICFEM2011

Muhammad Nafees Qamar, Yves Ledru, Akram Idani. Validation of Security-Design Models using Z. In Proceedings of the 13th International Conference on Formal Engineering Methods (ICFEM 2011), LNCS, Volume 6991, Pages 259-274, Durham, United Kingdom, October 2011.

Contact

Muhammad-Nafees Qamar
Yves Ledru
Akram Idani

BibTex Reference

@InProceedings{QamarICFEM2011,
   Author = {Qamar, Muhammad Nafees and Ledru, Yves and Idani, Akram},
   Title = {Validation of Security-Design Models using {Z}},
   BookTitle = {Proceedings of the 13th International Conference on Formal Engineering Methods (ICFEM 2011)},
   Volume = {6991},
   Pages = {259--274},
   Series = {LNCS},
   Publisher = {Springer},
   Address = {Durham, United Kingdom},
   Month = {October},
   Year = {2011}
}

EndNote Reference [help]

Get EndNote Reference (.ref)