COMMUNICATION TECHNOLOGIES, INFORMATION SECURITY AND SUSTAINABLE DEVELOPMENT Breadcrumbs UL Home Research Publications Year of Publication 2014 Journal Leveraging Applications Of Formal Methods, Verification, And Validation DOI 10.1007/978-3-319-10987-9_5
