COMMUNICATION TECHNOLOGIES, INFORMATION SECURITY AND SUSTAINABLE DEVELOPMENT
Leveraging Applications Of Formal Methods, Verification, And Validation
(2014)
10.1007/978-3-319-10987-9_18
10.1007/978-3-319-10987-9_18