iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/journals/entcs/GheyiMB07.xml
Rohit Gheyi Tiago Massoni Paulo Borba A Static Semantics for Alloy and its Impact in Refactorings. 209-233 2005 conf/sbmf/2005 SBMF https://doi.org/10.1016/j.entcs.2007.03.023 db/journals/entcs/entcs184.html#GheyiMB07