72 citations · 97 across the 10 of their papers we have counts for
1 paper · 1 filter
Nuno Macedo, Alcino Cunha, José Pereira +5
We present Alloy4Fun, a web application that enables online editing and sharing of Alloy models and instances, to be used mainly in an educational context. By introducing the notio…