Skip to content

Semantic comparisons of Alloy models.

Jan Oliver Ringert, Syed Waqee Wali

VenueAMODELS
Year2020
ProceedingsMoDELS

Browse the full MODELS paper archive.