ISBN 383837780X books & textbook
Model checking trace-based information flow properties: For finite state systems and pushdown systems
Kagalavadi Ramesh, Raghavendra D'Souza, Deepak Sprick, Barbara
LAP LAMBERT Academic Publishing /2012-03-14 Paperback / 64 Pages
isbn-10: 383837780X / isbn-13: 9783838377803
