This book highlights the applications and theory of artificial intelligence in the domain of cybersecurity. The book proposes new approaches and ideas to present applications of …
This book aims at updating the relevant computer science-related research communities, including professors, researchers, scientists, engineers and students, as well as the general …
This book provides an overview about the open challenges in software verification. Software verification is a branch of software engineering aiming at guaranteeing that software …