most citedAstra Version 1.0: Evaluating Translations from Alloy to SMT-LIB

2 citations · 3 across the 4 of their papers we have counts for

collaborators

4 papers