BibTeX records: Muhammad Nafees Qamar

• > Home > Persons > Muhammad Nafees Qamar

@phdthesis{DBLP:phd/hal/Qamar11,
  author       = {Muhammad Nafees Qamar},
  title        = {Sp{\'{e}}cification et animation de mod{\`{e}}les de conception
                  de la s{\'{e}}curit{\'{e}} avec Z. (Specification and animation
                  of security design models using {Z)}},
  school       = {Grenoble Alpes University, France},
  year         = {2011},
  url          = {https://tel.archives-ouvertes.fr/tel-00716404},
  timestamp    = {Tue, 21 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/hal/Qamar11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wce/QamarNA07,
  author       = {M. N. Qamar and
                  Aziz Nadeem and
                  R. Aziz},
  editor       = {Sio Iong Ao and
                  Leonid Gelman and
                  David W. L. Hukins and
                  Andrew Hunter and
                  Alexander M. Korsunsky},
  title        = {An Approach to Test Aspect-oriented Programs},
  booktitle    = {Proceedings of the World Congress on Engineering, {WCE} 2007, London,
                  UK, 2-4 July, 2007},
  series       = {Lecture Notes in Engineering and Computer Science},
  pages        = {211--216},
  publisher    = {Newswood Limited},
  year         = {2007},
  timestamp    = {Sat, 04 Sep 2021 14:26:13 +0200},
  biburl       = {https://dblp.org/rec/conf/wce/QamarNA07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}