Formal Verification of Control System Software
ISBN: 9780691189581
Information Available:
Summary
Author Notes
Cover Image
Copyright held by Baker & Taylor.