Skip to content

Add DOIs and ISBNs to Alloy paper references#123

Merged
ltratt merged 1 commit intosoftdevteam:masterfrom
jacob-hughes:add_dois
Jul 21, 2025
Merged

Add DOIs and ISBNs to Alloy paper references#123
ltratt merged 1 commit intosoftdevteam:masterfrom
jacob-hughes:add_dois

Commits

Commits on Jul 21, 2025