Home
Genres
Deals
Log in
Sign up
Premium
Help
Download
Privacy
Terms
Formal aspects in security and trust by Steve Schneider, Theo Dimitrakos, Peter Y. A. Ryan, Fabio Martinelli | Lex | Lex
Formal aspects in security and trust
Steve Schneider
Theo Dimitrakos
Peter Y. A. Ryan
Fabio Martinelli
Subjects
Formal methods (Computer science)
Trust
Congresses
Computer security