Computeraided support for Secure Tropos (2007)

by J Mylopoulos
Venue:Automated Software Engineering