2 citations · 3 across the 4 of their papers we have counts for
1 paper · 2 filters
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…