Abstract Automated Analysis of Security-Design Models
by
David Basin
,
Manuel Clavel
| Citations: | 9 - 1 self |







