research · October 1, 2008#formal-methods#alloyTowards Abstraction for DynAlloy SpecificationsSubmitted publication to ICFEM 2008The paper can be accessed from researchgate.