Affiner les résultats

Type de document

Institution

Collection spécifique

Langue

Auteur

Mot clé

Consortium of Swiss Academic Libraries

A verification approach to applied system security

Brucker, Achim D. ; Wolff, Burkhart

In: International Journal on Software Tools for Technology Transfer, 2005, vol. 7, no. 3, p. 233-247