Policy Refinement Checking (extended abstract)

Dades bibliogràfiques
Autor principal: Goldsmith, S
Format: Conference item
Publicat: 2009