A Proof Assistant for Alloy Specifications.

Mattias Ulbrich, Ulrich Geilmann, Aboubakr Achraf El Ghazi, Mana Taghdiri

Browse the full TACAS paper archive.