activity
20132021
most citedVerifying Graph Programs with First-Order Logic

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

collaborators
Showing cs.PLShow all

5 papers · 1 filter