Programming Languages and Systems

Overview of attention for book

Springer International Publishing

Attention for Chapter: REFINITY to Model and Prove Program Transformation Rules

Altmetric Badge

Mentioned by

So far, Dimensions has found 1 citation of this research output.

The most recent citing publication is shown below. View this citation on Dimensions.

Article in Journal of Inequalities and Applications (June 2020)

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.