This book constitutes the refereed proceedings of the 31st International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2021, which was

The 14th International Workshop on Logic, Language, Information and Computation focused on foundations of computing and programming; novel computation models an

This book provides an overview about the open challenges in software verification. Software verification is a branch of software engineering aiming at guarantee

With the popularity of hardware security research, several edited monograms have been published, which aim at summarizing the research in a particular field. Ty

Software-intensive systems are today an integral part of many everyday products. Whilst they provide great benefits regarding ease of use and allow for new appl