Computer Aided Verification

Overview of attention for book

Springer International Publishing

Attention for Chapter: Functional Correctness of C Implementations of Dijkstra’s, Kruskal’s, and Prim’s Algorithms

Altmetric Badge

Mentioned by

So far, Altmetric has seen 2 X posts from 2 X users, with an upper bound of 381 followers.

This page shows the most recent X posts that mention this research output.

Click here to find out how to access more activity.