Abstract Automated Analysis of Security-Design Models

Cached

Download Links

by David Basin , Manuel Clavel
Citations:16 - 2 self