activity
20052026
most citedAxiomatic Closure Operations, Phantom Extensions, and Solidity

6 citations · 8 across the 6 of their papers we have counts for

collaborators
Showing math.ACShow all

5 papers · 1 filter