14 citations · 23 across the 5 of their papers we have counts for
1 paper · 1 filter
Daniel J. Dougherty
Alloy is a lightweight modeling formalism based on relational algebra. In prior work with Fisler, Giannakopoulos, Krishnamurthi, and Yoo, we have presented a tool, Alchemy, that co…