Formal Logical Methods for System Security and Correctness
ISBN: 9781435677883



Information Available:
Summary
Reviews





Copyright held by Baker & Taylor.