Rouzaud-Cornabas, J., & Toinard, C. (2010). Formalisation de propriétés de sécurité pour la protection des systèmes d'exploitation.
Citace podle Chicago (17th ed.)Rouzaud-Cornabas, Jonathan, a Christian Toinard. Formalisation De Propriétés De Sécurité Pour La Protection Des Systèmes D'exploitation. 2010.
Citace podle MLA (8th ed.)Rouzaud-Cornabas, Jonathan, a Christian Toinard. Formalisation De Propriétés De Sécurité Pour La Protection Des Systèmes D'exploitation. 2010.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..