14 citations · 16 across the 2 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…