Formal Logical Methods for System Security and Correctness
ISBN: 9781435677883
Information Available:
Summary
Reviews
Copyright held by Baker & Taylor.