Logic-Based Program Synthesis and Transformation

Overview of attention for book

Springer International Publishing

Overall attention for this book and its chapters

Altmetric Badge

Mentioned by

So far, Altmetric has seen 1 news story.

:::info This paper is available on arxiv under CC 4.0 license. Authors: (1) Falke B.

This page shows the most recent news stories that mention this research output.

Click here to find out how to access more activity.