Formal Methods for Safety and Security : Case Studies for Aerospace Applications
ISBN: 9789811041211



Information Available:
Summary
Author Notes
Inside Flap
Cover Image





Copyright held by Baker & Taylor.