Logic-based program synthesis and transformation

Descrição: This book presents the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Logic-Bas... Veja mais