Policy Refinement Checking (extended abstract)

Библиографические подробности
Главный автор: Goldsmith, S
Формат: Conference item
Опубликовано: 2009