The Unified Policy Framework (UPF)

Type de document :
Autre publication
Archive of Formal Proofs (AFP), https://www.isa-afp.org/entries/UPF.shtml. 2014
Liste complète des métadonnées

https://hal.inria.fr/hal-01765542
Contributeur : Burkhart Wolff <>
Soumis le : jeudi 12 avril 2018 - 22:09:23
Dernière modification le : mercredi 2 mai 2018 - 11:07:19

Identifiants

  • HAL Id : hal-01765542, version 1

Collections

Citation

Achim Brucker, Brügger Lukas, Burkhart Wolff. The Unified Policy Framework (UPF). Archive of Formal Proofs (AFP), https://www.isa-afp.org/entries/UPF.shtml. 2014. 〈hal-01765542〉

Partager

Métriques

Consultations de la notice

83