Policy Refinement Checking (extended abstract)

Bibliografski detalji
Glavni autor: Goldsmith, S
Format: Conference item
Izdano: 2009