Policy Refinement Checking (extended abstract)

מידע ביבליוגרפי
מחבר ראשי: Goldsmith, S
פורמט: Conference item
יצא לאור: 2009