Expressive policy analysis with enhanced system dynamicity (0)

by R Craven, J Lobo, J Ma, A Russo, E C Lupu, A K Bandara
Venue:in ASIACCS, 2009