Static Analysis for Proactive Security
Attributed to:
Machine Learning, Robust Optimisation, and Verification: Creating Synergistic Capabilities in Cybersecurity Research
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-319-91908-9_19
Publication URI: https://api.elsevier.com/content/abstract/scopus_id/85079673105
Type: Book Chapter
Book Title: Computing and Software Science - State of the Art and Perspectives (2019)
Page Reference: 374-392