Policy Refinement Checking (extended abstract)

Bibliografiska uppgifter
Huvudupphovsman: Goldsmith, S
Materialtyp: Conference item
Publicerad: 2009