qamar:tel-00716404

Muhammad Nafees Qamar. Spécification et animation de modèles de conception de la sécurité avec Z. Thèse de l'Université de Grenoble, Décembre 2011.

Télécharger l'article

Charger l'article : Adobe portable document (pdf)

Copyright :

Contact

Muhammad-Nafees Qamar

Référence BibTex

@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}
}

Référence EndNote [help]

Charger la référence EndNote (.ref)