Policy Refinement Checking (extended abstract)

Xehetasun bibliografikoak
Egile nagusia: Goldsmith, S
Formatua: Conference item
Argitaratua: 2009