9 citations · 10 across the 7 of their papers we have counts for
1 paper · 1 filter
Iliano Cervesato, Carsten Schürmann
This volume constitutes the proceedings of WoF'15, the First International Workshop on Focusing, held on November 23rd, 2015 in Suva, Fiji. The workshop was a half-day satellite ev…