Book
Model Checking Trace-Based Information Flow Properties
For finite state systems and pushdown systems «
Score:
Reviews:
Times tipped:
Times read:
Author(s):
Category:
ISBN
9783838377803
Welcome to Boeklezers.nl
Boeklezers.nl is a network for social reading. We help readers discover new books and authors, and bring readers in contact with each other and with writers. Read more ».
Reviews of Model Checking Trace-Based Information Flow Properties by Deepak D'Souza & Raghavendra Kagalavadi Ramesh
There are no reviews for this book yet.
