Policy Refinement Checking (extended abstract)

Bibliographic Details
Main Author: Goldsmith, S
Format: Conference item
Published: 2009