Nanda, Manju.
Overview
Works: | 1 works in 0 publications in 0 languages |
---|
Titles
Formal Methods for Safety and Security = Case Studies for Aerospace Applications /
by:
Nanda, Manju.; SpringerLink (Online service); Jeppu, Yogananda.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects