Model checking trace-based information flow properties Autor Raghavendra Kagalavadi Ramesh et al. mar 2012 Paperback Preț: 265.32 lei 331.66 lei 43-57 zile -20%