6 citations · 6 across the 6 of their papers we have counts for
1 paper · 1 filter
Hugo Daniel Macedo, Ken Pierce
This volume contains the papers presented at the 23rd International Overture Workshop, held on the 11th of June 2025. This event was the latest in a series of workshops around the…