Policy Refinement Checking (extended abstract)

書誌詳細
第一著者: Goldsmith, S
フォーマット: Conference item
出版事項: 2009