Tools and Algorithms for the Construction and Analysis of Systems
Dirk Beyer, Marieke Huisman · Lecture notes in computer science · 2018
The TACAS 2018 open access proceedings book is focusing on rigorously based tools and algorithms for the construction and analysis of systems aiming to improve the utility, reliability, flexibility, and efficiency of tools and algorithms for buliding systems.