Skip to main content

Publication

COMMUNICATION TECHNOLOGIES, INFORMATION SECURITY AND SUSTAINABLE DEVELOPMENT
Rao, M,Newe, T,Aziz, A,Shaikh, FK,Chowdhry, BS,Zeadally, S,Hussain, DMA,Memon, AA,Uqaili, MA
Leveraging Applications Of Formal Methods, Verification, And Validation (2014)
10.1007/978-3-319-10987-9_18