Formal Methods for Safety and Security : Case Studies for Aerospace Applications. - Nanda, Manju (Springer Singapore, 2017)
Annotation