Model checking trace-based information flow properties Autor Raghavendra Kagalavadi Ramesh et al. mar 2012 Paperback Preț: 271.14 lei 338.93 lei 6-8 săpt. -20%