MOMENTAN AUSVERKAUFT

Model checking trace-based information flow properties von Raghavendra Kagalavadi Ramesh, Deepak D'Souza und Barbara Sprick (2012, Taschenbuch)