qamar:tel-00716404

Muhammad Nafees Qamar. Spécification et animation de modèles de conception de la sécurité avec Z. PhD Thesis Université de Grenoble, December 2011.

Download

Download paper: Adobe portable document (pdf)

Copyright notice:

Contact

Muhammad-Nafees Qamar

BibTex Reference

@PhdThesis{qamar:tel-00716404,
   Author = {Qamar, Muhammad Nafees},
   Title = {{S}pécification et animation de modèles de conception de la sécurité avec {Z}},
   School = {{U}niversité de {G}renoble},
   Month = {December},
   Year = {2011}
}

EndNote Reference [help]

Get EndNote Reference (.ref)