TY  - GEN
T1  - Formal methods for safety and security :case studies for aerospace applications /
AU  - Nanda, Manju,
AU  - Jeppu, Yogananda,
CN  - QA76.9.F67
ID  - 1459336
KW  - Formal methods (Computer science)
SN  - 9789811041211 (e-book)
TI  - Formal methods for safety and security :case studies for aerospace applications /
LK  - https://univsouthin.idm.oclc.org/login?url=https://ebookcentral.proquest.com/lib/usiricelib-ebooks/detail.action?docID=5143834
UR  - https://univsouthin.idm.oclc.org/login?url=https://ebookcentral.proquest.com/lib/usiricelib-ebooks/detail.action?docID=5143834
ER  -