Policy Refinement Checking (extended abstract)

Detalhes bibliográficos
Autor principal: Goldsmith, S
Formato: Conference item
Publicado em: 2009