Robuta

https://pauloborba.cin.ufpe.br/publication/2007a_static_semantics_for_alloy_and_its_impact_in_refactorings/ A Static Semantics for Alloy and its Impact in Refactorings | Paulo Borba static semantics alloy impact refactorings paulo