2 citations · 2 across the 1 of their papers we have counts for
1 paper
Jacques Fleuriot, Steven Obua, Phil Scott
We identify the main actors in the Isabelle and Coq communities and describe how they affect and influence their peers. This work explores selected foundations of social networking…