Sign in

Safety versus Security in the Quality Calculus.

Hanne Riis NielsonFlemming Nielson
Published in: Theories of Programming and Formal Methods (2013)
Keyphrases