Formal Methods in Programming and Their Applications

Overview of attention for book

Overall attention for this book and its chapters

Altmetric Badge

Mentioned by

So far, Dimensions has found 4 publications that cite this research output.

Conference proceeding (July 2014)

Article in Machine Learning (December 2011)

Conference proceeding (January 2004)

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

Click here to find out how to access more activity.