Policy Refinement Checking (extended abstract)

Бібліографічні деталі
Автор: Goldsmith, S
Формат: Conference item
Опубліковано: 2009