Policy Refinement Checking (extended abstract)

书目详细资料
主要作者: Goldsmith, S
格式: Conference item
出版: 2009